/tools
Ubuntu 18.04システムから誤ってディレクトリを削除しました。これが気になる価値はありますか?それは何を含んでいますか?
答え1
これはデフォルトのインストールの一部ではなく、apt-fileは役に立ちません。
apt install -y apt-file && apt update && apt-file search /tools | wc -l
58302
インストールログを確認してください。
cat /var/log/apt/history.log ; zcat /var/log/apt/history.log.*
または install.sh を保守している場合は確認してください。
答え2
コメントによれば、そのtools
ディレクトリはデフォルトディレクトリではなく、私の場合はシンボリックリンクにすぎないことがわかりました。一方、他の答えは、もしあればどのパッケージがインストールされているかを確認できる安定した方法を提供します。