/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
디렉토리는 기본 디렉토리가 아니며 제 경우에는 심볼릭 링크일 뿐이라는 것이 밝혀졌습니다. 반면에, 다른 답변은 만일의 경우에 어떤 패키지가 설치되어 있는지(있는 경우) 확인할 수 있는 안정적인 방법을 제공합니다.