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

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Andreas Lauser (andlaus) 

Attached to Project - Dune
Summary - do not write random files to the user's home directory
Task Type - Bug Report
Category - Common
Status - Unconfirmed
Assigned To - 
Operating System - Unspecified / All
Severity - Medium
Priority - Normal
Reported Version - 2.1
Due in Version - Undecided
Due Date - Undecided
Details - currently (which is dune 2.1 in my case) dunecontrol writes the file dune.resume to the user's home directory on every run and there is no way to stop it doing that. Beside the fact that this is very bad style, it breaks the build for cases where $HOME is not writable (e.g. running it under a Jenkins instance'). in the attachment you find a fix for this issue, which boils down to having to explicitly specify the RESUME_FILE if the --resume option ought to be used. let me know if you have any objections.

One or more
files have been attached.

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

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.