/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 を保守している場合は確認してください。