[Dune] [#958] do not write random files to the user's home directory

Dune flyspray at dune-project.org
Tue Oct 4 21:34:50 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)

----------
I disagree with the statement that programs shouldn't write files into the home directory.  Many programs store their configuration or their state there.  Consider for instance ~/.bashrc and ~/.bash_history.  Of course, if a program does this, it should be a dot file, the name of the file should be related to the program, and it should handle write failures gracefully.

The only part that is missing is handling write failures gracefully.  I'd suggest to simply ignore a failure to write to ~/.dune.resume by default.  The information in that file is non-essential.  Or make it a warning.  Or introduce a --verbose flag to dunecontrol, and show the warning only with this flag.  Or introduce an option --checkpoint to dunecontrol that makes it an error if ~/.dune.resume can't be written.

----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=958#comment2728

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