Re: [isabelle] distributed installation + sledgehammer file write permissions
On Thu, 25 Sep 2014, Leo Freitas wrote:
I had looked at the etc/settings file before, but not for Windows. I
think the change to ISABELLE_TMP_PREFIX and ISABELLE_HOME_USER to a
suitable directory for CS-support will suffice.
These are indeed the two main Isabelle settings for user-specific material
that is written at run-time. The central ISABELLE_HOME/etc/settings may
be tweaked to change them.
Note that there is also USER_HOME as a platform-independent version of
HOME known from Unix.
the whole thing came about because locally they had a last-minute change
from a ready Linux-setup to what a new-Windows environment panic! As I
divorced myself from windows a while ago, was just in a helpless
situation to advice support on what to do on short notice.
In Isabelle2014 the default USER_HOME is based on HOMEDRIVE and HOMEPATH,
and ISABELLE_TMP_PREFIX is within the Cygwin /tmp (i.e. within the
installation directory). Both might need further refinements for
What we could need is some advice from a genuine Windows expert, to tell
where the canonical locations are in a networked environment.
This archive was generated by a fusion of
Pipermail (Mailman edition) and