more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
authorwenzelm
Fri Oct 02 23:22:49 2015 +0200 (2015-10-02)
changeset 61319d84b4d39bce1
parent 61309 a2548e708f03
child 61320 69022bbcd012
more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
bin/isabelle_process
lib/scripts/getsettings
     1.1 --- a/bin/isabelle_process	Fri Oct 02 20:28:56 2015 +0200
     1.2 +++ b/bin/isabelle_process	Fri Oct 02 23:22:49 2015 +0200
     1.3 @@ -177,6 +177,7 @@
     1.4      ;;
     1.5    *)
     1.6      mkdir -p "$ISABELLE_OUTPUT"
     1.7 +    chmod $(umask -S) "$ISABELLE_OUTPUT"
     1.8      OUTFILE="$ISABELLE_OUTPUT/$OUTPUT"
     1.9      ;;
    1.10  esac
    1.11 @@ -188,6 +189,7 @@
    1.12  ISABELLE_PID="$$"
    1.13  ISABELLE_TMP="$ISABELLE_TMP_PREFIX$ISABELLE_PID"
    1.14  mkdir -p "$ISABELLE_TMP"
    1.15 +chmod $(umask -S) "$ISABELLE_TMP"
    1.16  
    1.17  
    1.18  ## run it!
     2.1 --- a/lib/scripts/getsettings	Fri Oct 02 20:28:56 2015 +0200
     2.2 +++ b/lib/scripts/getsettings	Fri Oct 02 23:22:49 2015 +0200
     2.3 @@ -271,8 +271,12 @@
     2.4  #main components
     2.5  init_component "$ISABELLE_HOME"
     2.6  [ -d "$ISABELLE_HOME/Admin" ] && init_component "$ISABELLE_HOME/Admin"
     2.7 -[ -d "$ISABELLE_HOME_USER" ] && init_component "$ISABELLE_HOME_USER"
     2.8 -
     2.9 +if [ -d "$ISABELLE_HOME_USER" ]; then
    2.10 +  init_component "$ISABELLE_HOME_USER"
    2.11 +else
    2.12 +  mkdir -p "$ISABELLE_HOME_USER"
    2.13 +  chmod $(umask -S) "$ISABELLE_HOME_USER"
    2.14 +fi
    2.15  
    2.16  #ML system identifier
    2.17  if [ -z "$ML_PLATFORM" ]; then