Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/getsettings
changeset 78627 fa18208fd7bd
parent 78623 b96b73a79da3
child 79059 ae682b2aab03 
--- 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