![Ubuntuの/ toolsディレクトリには何が含まれていますか? [閉鎖]](https://linux33.com/image/147413/Ubuntu%E3%81%AE%2F%20tools%E3%83%87%E3%82%A3%E3%83%AC%E3%82%AF%E3%83%88%E3%83%AA%E3%81%AB%E3%81%AF%E4%BD%95%E3%81%8C%E5%90%AB%E3%81%BE%E3%82%8C%E3%81%A6%E3%81%84%E3%81%BE%E3%81%99%E3%81%8B%EF%BC%9F%20%5B%E9%96%89%E9%8E%96%5D.png)
/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
ディレクトリはデフォルトディレクトリではなく、私の場合はシンボリックリンクにすぎないことがわかりました。一方、他の答えは、もしあればどのパッケージがインストールされているかを確認できる安定した方法を提供します。