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.
more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
authorwenzelm
Wed, 11 Jan 2012 15:12:57 +0100
changeset 46184 e81b5673ae01
parent 46183 eda2c0aeb1f2
child 46185 afda84cd4d4b
more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed Jan 11 00:05:31 2012 +0100
+++ b/etc/settings	Wed Jan 11 15:12:57 2012 +0100
@@ -97,7 +97,7 @@
 ###
 
 # The place for user configuration, heap files, etc.
-ISABELLE_HOME_USER="$HOME/.isabelle/$ISABELLE_IDENTIFIER"
+ISABELLE_HOME_USER="$HOME/.isabelle/${ISABELLE_IDENTIFIER:-.}"
 
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
isabelle