lib/scripts/getsettings
changeset 33294 e2a11715aab1
parent 33286 1807921b6268
child 33295 ce8faf41b0d4
     1.1 --- a/lib/scripts/getsettings	Wed Oct 28 22:26:00 2009 +0100
     1.2 +++ b/lib/scripts/getsettings	Wed Oct 28 22:57:32 2009 +0100
     1.3 @@ -31,6 +31,8 @@
     1.4  #users tend to put strange things in here ...
     1.5  unset ENV
     1.6  unset BASH_ENV
     1.7 +unset POSIXLY_CORRECT
     1.8 +set +o posix
     1.9  
    1.10  #support easy settings
    1.11  function choosefrom ()
    1.12 @@ -105,7 +107,7 @@
    1.13            *) init_component "$COMPONENT/$REPLY" ;;
    1.14          esac
    1.15        done
    1.16 -    } < "$COMPONENT/etc/components"
    1.17 +    } < <( cat "$COMPONENT/etc/components"; echo; )
    1.18    fi
    1.19  }
    1.20