lib/scripts/getsettings
changeset 53970 eee1863c565a
parent 53967 bfaae48b0ce0
child 56439 95e2656b3b23
     1.1 --- a/lib/scripts/getsettings	Sat Sep 28 14:41:46 2013 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Sep 28 15:36:14 2013 +0200
     1.3 @@ -19,6 +19,8 @@
     1.4  #Cygwin vs. POSIX
     1.5  if [ "$OSTYPE" = cygwin ]
     1.6  then
     1.7 +  unset INI_DIR
     1.8 +
     1.9    if [ -z "$USER_HOME" ]; then
    1.10      USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
    1.11    fi