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