# HG changeset patch # User Christophe Lincoln # Date 1203795054 -3600 # Node ID 85421faee5356108150daf82a0e5ecbc13cbe6db # Parent 7c50c87a68f46f76ff381803aaacd4703ad57c26 Fix again and again.. home=DEVID diff -r 7c50c87a68f4 -r 85421faee535 etc/init.d/bootopts.sh --- a/etc/init.d/bootopts.sh Sat Feb 23 19:40:09 2008 +0100 +++ b/etc/init.d/bootopts.sh Sat Feb 23 20:30:54 2008 +0100 @@ -16,13 +16,14 @@ # Can be label, uuid or devname. DEVID give us /dev/name and # DEVICE give us disk name without /dev/. DEVID=`/sbin/blkid | grep $DEVICE | cut -d: -f1` + DEVID=${DEVID##*/} fi - if [ -n "$DEVID" ] && grep -q "$DEVICE" /proc/partitions ; then - echo "Mounting /home on /dev/$DEVICE... " + if [ -n "$DEVID" ] && grep -q "$DEVID" /proc/partitions ; then + echo "Mounting /home on /dev/$DEVID... " mv /home/hacker /tmp/hacker-home - mount -o uid=500,gid=500 /dev/$DEVICE /home + mount -o uid=500,gid=500 /dev/$DEVID /home else - echo "Unable to find $DEVICE... " + echo "Unable to find $DEVID... " fi # Move all hacker dir if needed. if [ ! -d "/home/hacker" ] ; then