Index: src/scripts/image_to_usb.sh |
diff --git a/src/scripts/image_to_usb.sh b/src/scripts/image_to_usb.sh |
index 7aa6707d29a3620894fa4742782d795621d5e0e8..f8248364365f13c4f0a367c19f4b145d1708da51 100755 |
--- a/src/scripts/image_to_usb.sh |
+++ b/src/scripts/image_to_usb.sh |
@@ -55,6 +55,18 @@ then |
# Output to a block device (i.e., a real USB key), so need sudo dd |
echo "Copying USB image ${FLAGS_from} to device ${FLAGS_to}..." |
+ # Warn if it looks like they supplied a partition as the destination. |
+ if echo $FLAGS_to | grep -q '[0-9]$'; then |
+ drive=$(echo $FLAGS_to | sed -re 's/[0-9]+$//') |
+ if [ -b "$drive" ]; then |
+ echo |
+ echo "NOTE: It looks like you may have supplied a partition as the " |
+ echo "destination. This script needs to write to the drive's device " |
+ echo "node instead (i.e. ${drive} rather than ${FLAGS_to})." |
+ echo |
+ fi |
+ fi |
+ |
# Make sure this is really what the user wants, before nuking the device |
if [ $FLAGS_yes -ne $FLAGS_TRUE ] |
then |