lib/scripts/getsettings

--- 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 "$@"