[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 - Andreas Lauser (andlaus)

----------
well, it's true that you can actually set the RESUME_FILE to /dev/null in the opts file, but I think the default behavior should not be surprising, i.e. not write anything outside the build directories.

I don't know about trunk, but in dune 2.1 duncontrol reads on line 480

 create_module_list() {
  export RESUME_FILE="$HOME/.dune.resume"
  if test "x$DUNE_OPTS_FILE" != "x"; then
    export RESUME_FILE="$(eval . $DUNE_OPTS_FILE; eval echo $RESUME_FILE)"
  fi

which means that it _does_ write to the home directory by default (in conjunction with lines 137 and 155 where some something is written to $RESUME_FILE
----------

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

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.