changeset 49000 | 0cebcbeac4c7 |
parent 48838 | 623ba165d059 |
child 49347 | d4768cb77a69 |
--- a/lib/scripts/getsettings Wed Aug 29 17:19:48 2012 +0200 +++ b/lib/scripts/getsettings Wed Aug 29 20:16:22 2012 +0200 @@ -59,21 +59,6 @@ unset ENV unset BASH_ENV -#support easy settings -function choosefrom () -{ - local RESULT="" - local FILE="" - - for FILE in "$@" - do - [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE" - done - - [ -z "$RESULT" ] && RESULT="$FILE" - echo "$RESULT" -} - #shared library convenience function librarypath () { for X in "$@"