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

[Dune]

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 - Martin Nolte (nolte)

----------
The patch looks basically fine. I'm not sure, however, whether test -n / test -s is portable. Maybe someone with more experience with portable shell programming could have a look.

With respect to my comment: The path to the resume file was changed to $HOME/dune.resume because some guys thought their dune build directory should not be writeable. The possibility to read the resume file name from the opts file was introduced later.

Anyway, I think your idea is definitely an improvement. However, after applying your patch, users might be surprised that the resume feature does not work by default. Maybe we should print a warning in this case?
----------

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

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.