The Filesystem Hierarchy Standard defines /usr directory as "shareable, read-only data" and specifies that "any information that is host-specific or varies with time is stored elsewhere" (see: https://refspecs.linuxfoundation.org/FHS_3.0/fhs/index.html).
Due to that we should not store temporary files there, but use /var/tmp instead.
The Filesystem Hierarchy Standard defines
/usr
directory as "shareable, read-only data" and specifies that "any information that is host-specific or varies with time is stored elsewhere" (see: https://refspecs.linuxfoundation.org/FHS_3.0/fhs/index.html).Due to that we should not store temporary files there, but use
/var/tmp
instead.rel: https://jira.frege.ii.uj.edu.pl/browse/FREGE-166