From cc0745e81593c5dfa6525fe910dde2b0c06aae7c Mon Sep 17 00:00:00 2001 From: xdrm-brackets Date: Wed, 10 May 2017 13:22:05 +0200 Subject: [PATCH] [update] check if debian image is ok --- clone/clone | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/clone/clone b/clone/clone index f1bcdb1..567fab5 100755 --- a/clone/clone +++ b/clone/clone @@ -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";