lib/scripts/getsettings
changeset 58640 37f852399a32
parent 58413 22dd971f6938
child 58791 00916b0dd596
equal deleted inserted replaced
58639:1df53737c59b 58640:37f852399a32
    23 
    23 
    24 #Cygwin vs. POSIX
    24 #Cygwin vs. POSIX
    25 if [ "$OSTYPE" = cygwin ]
    25 if [ "$OSTYPE" = cygwin ]
    26 then
    26 then
    27   unset INI_DIR
    27   unset INI_DIR
       
    28 
       
    29   if [ -n "$TEMP_WINDOWS" ]; then
       
    30     TMPDIR="$(cygpath -u "$TEMP_WINDOWS")"
       
    31     TMP="$TMPDIR"
       
    32     TEMP="$TMPDIR"
       
    33   fi
    28 
    34 
    29   if [ -z "$USER_HOME" ]; then
    35   if [ -z "$USER_HOME" ]; then
    30     USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
    36     USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
    31   fi
    37   fi
    32 
    38