truecrypt_scripts/truecrypt_init.sh
changeset 15 f6fc3ab7f0c9
parent 14 4762c3abc17a
child 16 d1a3476471ca
     1.1 --- a/truecrypt_scripts/truecrypt_init.sh	Tue Jun 10 09:22:20 2014 +0200
     1.2 +++ b/truecrypt_scripts/truecrypt_init.sh	Mon Jul 28 15:27:10 2014 +0200
     1.3 @@ -15,13 +15,11 @@
     1.4  fi
     1.5  
     1.6  # make sure to have "/dev/sdb" (not "/dev/sdb1")
     1.7 -#DEVICE="${DEVICE:0:8}" the bash way does not word in dash -.-
     1.8 +#DEVICE="${DEVICE:0:8}" the bash way does not work in dash -.-
     1.9  DEVICE="$(echo "$DEVICE" | awk '{print substr($1,0,9)}')"
    1.10  
    1.11 -# make sure the device is not mounted
    1.12 -umount /var/run/usbmount/*
    1.13 -sleep 1
    1.14 -umount ${DEVICE}*
    1.15 +# make sure the device is not mounted (always run the init_manger script here!)
    1.16 +init_manager.sh "$DEVICE"
    1.17  
    1.18  
    1.19  if [ -z "$KEYFILE" ]