echo "Updating etc/rc.config..." if [ -x bin/fillup ] ; then bin/fillup -q -d = etc/rc.config etc/rc.config.vbox if [ $? -ge 0 ] ; then rm etc/rc.config.vbox fi else echo "ERROR: fillup not found. This should not happen. Please compare" echo "etc/rc.config and etc/rc.config.vbox and update by hand." fi