# HG changeset patch
# User wenzelm
# Date 1256767052 -3600
# Node ID e2a11715aab1455285f6a79db22ca0810a0eb87a
# Parent  4645818f0fbd9e2562e34079885d9672c3ac78a0
components: ensure that the last line is read, even if it lacks EOL;

diff -r 4645818f0fbd -r e2a11715aab1 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Oct 28 22:26:00 2009 +0100
+++ b/lib/scripts/getsettings	Wed Oct 28 22:57:32 2009 +0100
@@ -31,6 +31,8 @@
 #users tend to put strange things in here ...
 unset ENV
 unset BASH_ENV
+unset POSIXLY_CORRECT
+set +o posix
 
 #support easy settings
 function choosefrom ()
@@ -105,7 +107,7 @@
           *) init_component "$COMPONENT/$REPLY" ;;
         esac
       done
-    } < "$COMPONENT/etc/components"
+    } < <( cat "$COMPONENT/etc/components"; echo; )
   fi
 }