Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
authorwenzelm
Sun, 29 Nov 2009 17:23:39 +0100
changeset 33920 d4d430dfabc6
parent 33919 3711139cffc3
child 33921 4c188a74e362
double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
bin/isabelle-process file | annotate | diff | comparison | revisions 
--- a/bin/isabelle-process	Sun Nov 29 17:14:24 2009 +0100
+++ b/bin/isabelle-process	Sun Nov 29 17:23:39 2009 +0100
@@ -181,7 +181,9 @@
 
 case "$OUTPUT" in
   "")
-    [ -z "$READONLY" -a -w "$INFILE" ] && OUTFILE="$INFILE"
+    if [ -z "$READONLY" -a -w "$INFILE" ]; then
+      perl -e "exit (((stat('$INFILE'))[2] & 0222) != 0 ? 0 : 1);" && OUTFILE="$INFILE"
+    fi
     ;;
   */*)
     OUTFILE="$OUTPUT"
isabelle