diff --git a/src/write_to_media.sh b/src/write_to_media.sh new file mode 100755 index 000000000..e701c77c9 --- /dev/null +++ b/src/write_to_media.sh @@ -0,0 +1,24 @@ +#!/bin/sh + +# A minimal script which writes the produced iso into usb +# with the help of the dd command + +set -e + +. ./common.sh + +ISO_NAME=$SRC_DIR/minimal_linux_live.iso + +if ! [ -e $ISO_NAME ]; then + echo "You have to build the iso before running this script!" + exit 1 + +elif [ "$#" -ne 1 ]; then + echo "Usage: $0 [DEVICE_NAME] (eg. $0 /dev/sda)" + exit 1 +else + echo "CAUTION: All data on device $1 will be erased" + echo "You have been warned" + sudo dd if=$ISO_NAME of=$1 bs=4M && sync +fi +