lib/scripts/getsettings
changeset 49000 0cebcbeac4c7
parent 48838 623ba165d059
child 49347 d4768cb77a69
     1.1 --- a/lib/scripts/getsettings	Wed Aug 29 17:19:48 2012 +0200
     1.2 +++ b/lib/scripts/getsettings	Wed Aug 29 20:16:22 2012 +0200
     1.3 @@ -59,21 +59,6 @@
     1.4  unset ENV
     1.5  unset BASH_ENV
     1.6  
     1.7 -#support easy settings
     1.8 -function choosefrom ()
     1.9 -{
    1.10 -  local RESULT=""
    1.11 -  local FILE=""
    1.12 -
    1.13 -  for FILE in "$@"
    1.14 -  do
    1.15 -    [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE"
    1.16 -  done
    1.17 -
    1.18 -  [ -z "$RESULT" ] && RESULT="$FILE"
    1.19 -  echo "$RESULT"
    1.20 -}
    1.21 -
    1.22  #shared library convenience
    1.23  function librarypath () {
    1.24    for X in "$@"