--- a/bin/isabelle_process Sat Oct 03 17:11:04 2015 +0200
+++ b/bin/isabelle_process Sat Oct 03 18:38:25 2015 +0200
@@ -177,6 +177,7 @@
;;
*)
mkdir -p "$ISABELLE_OUTPUT"
+ chmod $(umask -S) "$ISABELLE_OUTPUT"
OUTFILE="$ISABELLE_OUTPUT/$OUTPUT"
;;
esac
@@ -188,6 +189,7 @@
ISABELLE_PID="$$"
ISABELLE_TMP="$ISABELLE_TMP_PREFIX$ISABELLE_PID"
mkdir -p "$ISABELLE_TMP"
+chmod $(umask -S) "$ISABELLE_TMP"
## run it!
--- a/lib/scripts/getsettings Sat Oct 03 17:11:04 2015 +0200
+++ b/lib/scripts/getsettings Sat Oct 03 18:38:25 2015 +0200
@@ -271,8 +271,12 @@
#main components
init_component "$ISABELLE_HOME"
[ -d "$ISABELLE_HOME/Admin" ] && init_component "$ISABELLE_HOME/Admin"
-[ -d "$ISABELLE_HOME_USER" ] && init_component "$ISABELLE_HOME_USER"
-
+if [ -d "$ISABELLE_HOME_USER" ]; then
+ init_component "$ISABELLE_HOME_USER"
+else
+ mkdir -p "$ISABELLE_HOME_USER"
+ chmod $(umask -S) "$ISABELLE_HOME_USER"
+fi
#ML system identifier
if [ -z "$ML_PLATFORM" ]; then