Derecho-Project / derecho

The main code repository for the Derecho project.
BSD 3-Clause "New" or "Revised" License
182 stars 46 forks source link

Fix install scripts to remove temp directories #258

Closed etremel closed 10 months ago

etremel commented 10 months ago

According to Linux standards, the /var/tmp directory should be preserved across reboots and should not be deleted frequently by the OS, and many Linux distributions never delete files from /var/tmp. Installers and programs that use /var/tmp are supposed to clean up after themselves and delete the temporary directories they create in /var/tmp. Since our install scripts do not clean up after themselves, the Fractus nodes suffer from an ever-growing number of temporary directories in /var/tmp (each containing copies of libfabric, nlohmann_json, and mutils) that are not deleted automatically.

(See https://superuser.com/questions/168125, https://superuser.com/questions/499039/, and https://unix.stackexchange.com/questions/698677)