management_scripts/init_manager.sh
changeset 15 f6fc3ab7f0c9
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/management_scripts/init_manager.sh	Mon Jul 28 15:27:10 2014 +0200
     1.3 @@ -0,0 +1,20 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +DEVICE="$1"
     1.7 +
     1.8 +# This script makes sure that the stick is unmounted and unused
     1.9 +# Run this Script before the init process
    1.10 +
    1.11 +# make sure the device is not mounted
    1.12 +umount /var/run/usbmount/*
    1.13 +rmdir /var/run/usbmount/*
    1.14 +sleep 1
    1.15 +umount ${DEVICE}*
    1.16 +
    1.17 +# search for already encrypted volumes
    1.18 +device=$(encryptionprovider.py -g)
    1.19 +
    1.20 +if [ "$?" == "0" ]
    1.21 +then
    1.22 +	encryptionprovider.py -u $device
    1.23 +fi
    1.24 \ No newline at end of file