management_scripts/init_manager.sh
changeset 17 980ca72ff1f1
parent 16 d1a3476471ca
child 18 e25f710d16a2
     1.1 --- a/management_scripts/init_manager.sh	Tue Jul 29 11:12:10 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,20 +0,0 @@
     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