[Dune] [#958] do not write random files to the user's home directory
Dune
flyspray at dune-project.org
Wed Oct 5 13:47:13 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 - Jö Fahlke (joe)
----------
For the record:
* I'm OK with writing the .dune.resume file into the home directory by
default, as long as failures aren't fatal.
* I'm OK with writing no resume file per default (requiring it to be switched
on explicitly, either via the opts-file, the environment, or a commandline
option).
* I'm against writing it to /tmp, unless explicitly commanded to.
* I'm undecided about writing it to dunecontrol's cwd by default. That may
have its own set of problems which would need further consideration.
----------
More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=958#comment2751
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