# HG changeset patch
# User wenzelm
# Date 1693594916 -7200
# Node ID fa18208fd7bdac4d4df5cc2f25482ec44fa1d87b
# Parent  f926602640feb97c29c0d77b135ea7cdd84c6029
more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a

diff -r f926602640fe -r fa18208fd7bd lib/scripts/getsettings
--- 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")"