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

Dune flyspray at dune-project.org
Wed Oct 5 17:21:31 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 - Jayesh Badwaik (jayeshbadwaik)

----------
What about when I have multiple build systems? There should be a provision to create the dune-resume directory in which files can be appropriately created according to the build system called.

Apart from that, cc is a program which uses ccache. The point is that the version of the programs called is the same wherever in the home directory is the program called and the information used to run the program does not change much in different instances of calling the programs. Hence, having a universal file makes sense. Here, even if I agree that the file has to be created, I believe that it should be properly described to prevent conflicts. 
----------

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

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