[Dune] [#958] do not write random files to the user's home directory
Dune
flyspray at dune-project.org
Wed Oct 5 13:58:02 CEST 2011
THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.
The following task has a new comment added:
FS#958 - do not write random files to the user's home directory
User who did this - Andreas Lauser (andlaus)
----------
@Jö: this is my personal gut feeling, so you may have a different one:
For me, build systems are there to translate source code into executable programs. I expect them to have no side effects. (in a sense they can be seen as a function B=f(S) which produces binary code B from source code S and writes all intermediate results to a well defined scratch directory.)
On the other hand, programs, and especially interactive programs have persistent parameters, which means that for me it is okay if they store these in my home directory. I don't want to re-specify them again and again, right? If you argue that cached data are not persistent parameters but is often stored in the home directory anyway, I totally agree. IMHO caches should also be located elsewhere because (browser) caches in the home directory are a major headache if the file system for the home directory enforces quotas and/or is a network file system.
I hope that this is similar to your own gut feeling. Anyway, olaf's comment that it's okay having to specify an parameter explicitly to use obscure functionality expresses my resentments about ~/.dune.resume quite well
----------
More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=958#comment2752
You are receiving this message because you have requested it from the Flyspray bugtracking system. If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.
More information about the Dune
mailing list