[update] check if debian image is ok

This commit is contained in:
xdrm-brackets 2017-05-10 13:22:05 +02:00
parent d5ec68c25b
commit cc0745e815
1 changed files with 7 additions and 0 deletions

View File

@ -28,6 +28,13 @@ test $device_type != "usb" && echo ">>> ERROR: device type is $device_type, \"us
echo "<<< done";
echo ">>> [!] Checking debian image";
# (1) Check parameter existence #
test ! -e $IMAGE_FILE && echo -e "debian image '$IMAGE_FILE' not found" && exit;
echo "<<< done";
DEV="$1";