[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