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 $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a
authorwenzelm
Fri, 01 Sep 2023 21:01:56 +0200
changeset 78627 fa18208fd7bd
parent 78626 f926602640fe
child 78628 adf227c06812
more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Thu Aug 31 14:59:52 2023 +0200
+++ b/lib/scripts/getsettings	Fri Sep 01 21:01:56 2023 +0200
@@ -27,11 +27,9 @@
 then
   unset INI_DIR
 
-  if [ -n "$TEMP_WINDOWS" ]; then
-    TMPDIR="$(cygpath -u "$TEMP_WINDOWS")"
-    TMP="$TMPDIR"
-    TEMP="$TMPDIR"
-  fi
+  TMPDIR="$(cygpath -u "$LOCALAPPDATA")/Temp"
+  TMP="$TMPDIR"
+  TEMP="$TMPDIR"
 
   if [ -z "$USER_HOME" ]; then
     USER_HOME="$(cygpath -u "$USERPROFILE")"
isabelle