diff options
-rwxr-xr-x | scripts/contrib/ddimage | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/contrib/ddimage b/scripts/contrib/ddimage index a7dc5f7487..7f2ad112a6 100755 --- a/scripts/contrib/ddimage +++ b/scripts/contrib/ddimage | |||
@@ -122,6 +122,12 @@ if [ ! -e "$IMAGE" ]; then | |||
122 | exit 1 | 122 | exit 1 |
123 | fi | 123 | fi |
124 | 124 | ||
125 | if [ ! -e "$DEVICE" ]; then | ||
126 | echo "ERROR: Device $DEVICE does not exist" | ||
127 | usage | ||
128 | exit 1 | ||
129 | fi | ||
130 | |||
125 | if [ "$(uname)" = "Darwin" ]; then | 131 | if [ "$(uname)" = "Darwin" ]; then |
126 | # readlink doesn't support -f on MacOS, just assume it isn't a symlink | 132 | # readlink doesn't support -f on MacOS, just assume it isn't a symlink |
127 | ACTUAL_DEVICE=$DEVICE | 133 | ACTUAL_DEVICE=$DEVICE |
@@ -139,9 +145,8 @@ if is_inuse $ACTUAL_DEVICE ; then | |||
139 | exit 1 | 145 | exit 1 |
140 | fi | 146 | fi |
141 | 147 | ||
142 | |||
143 | if [ ! -w "$DEVICE" ]; then | 148 | if [ ! -w "$DEVICE" ]; then |
144 | echo "ERROR: Device $DEVICE does not exist or is not writable" | 149 | echo "ERROR: Device $DEVICE is not writable - possibly use sudo?" |
145 | usage | 150 | usage |
146 | exit 1 | 151 | exit 1 |
147 | fi | 152 | fi |