# HG changeset patch # User Christophe Lincoln # Date 1269131378 -3600 # Node ID 81e817cdbb07c121a0f3489cdb4f0ea5bf5eb2f3 # Parent fcb91755f5fccd770604510a24a8dfad019c3b97 Fix: home= user dir may already be moved (writfs) diff -r fcb91755f5fc -r 81e817cdbb07 etc/init.d/bootopts.sh --- a/etc/init.d/bootopts.sh Sun Mar 21 01:13:46 2010 +0100 +++ b/etc/init.d/bootopts.sh Sun Mar 21 01:29:38 2010 +0100 @@ -103,7 +103,7 @@ fi if [ -n "$DEVID" ] && grep -q "$DEVID" /proc/partitions ; then echo "Mounting /home on /dev/$DEVID... " - mv /home/$USER /tmp/$USER-files + [ -d /home/$USER ] && mv /home/$USER /tmp/$USER-files mount /dev/$DEVID /home -o uid=1000,gid=1000 2>/dev/null \ || mount /dev/$DEVID /home # Check if swap file must be generated in /home: swap=size (Mb).