On 5/5/11 4:42 PM, Dr. David Kirkby wrote:
On 05/ 5/11 03:06 PM, Jeroen Demeyer wrote:
Hi all,
I recently adapted the merge scripts to deal with spkg's in a new way.
Further ideas, suggestions, complaints are welcome.
Jeroen.
I've often wondered if it would be possible to safely remove the write
permissions from the "src" directory and everything below it, so files
can't be accidentally changed.
I believe that would reduce the chances of the "src" being corrupted.
However, there may be the odd package which would fail to build if this
was done, in which case the default permissions should be used.
I think most packages build inside of that src directory, right?
Changing permissions would mess that up.
Jason
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
