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.
--
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing in e-mail?
--
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
