diff options
Diffstat (limited to 'scripts/contrib')
-rwxr-xr-x | scripts/contrib/mkefidisk.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/contrib/mkefidisk.sh b/scripts/contrib/mkefidisk.sh index bcc2411ca2..af06b4bd5b 100755 --- a/scripts/contrib/mkefidisk.sh +++ b/scripts/contrib/mkefidisk.sh | |||
@@ -28,14 +28,14 @@ BOOT_SIZE=20 | |||
28 | # 5% for swap | 28 | # 5% for swap |
29 | SWAP_RATIO=5 | 29 | SWAP_RATIO=5 |
30 | 30 | ||
31 | function usage() { | 31 | usage() { |
32 | echo "Usage: $(basename $0) DEVICE HDDIMG TARGET_DEVICE" | 32 | echo "Usage: $(basename $0) DEVICE HDDIMG TARGET_DEVICE" |
33 | echo " DEVICE: The device to write the image to, e.g. /dev/sdh" | 33 | echo " DEVICE: The device to write the image to, e.g. /dev/sdh" |
34 | echo " HDDIMG: The hddimg file to generate the efi disk from" | 34 | echo " HDDIMG: The hddimg file to generate the efi disk from" |
35 | echo " TARGET_DEVICE: The device the target will boot from, e.g. /dev/mmcblk0" | 35 | echo " TARGET_DEVICE: The device the target will boot from, e.g. /dev/mmcblk0" |
36 | } | 36 | } |
37 | 37 | ||
38 | function image_details() { | 38 | image_details() { |
39 | IMG=$1 | 39 | IMG=$1 |
40 | echo "Image details" | 40 | echo "Image details" |
41 | echo "=============" | 41 | echo "=============" |
@@ -46,7 +46,7 @@ function image_details() { | |||
46 | echo "" | 46 | echo "" |
47 | } | 47 | } |
48 | 48 | ||
49 | function device_details() { | 49 | device_details() { |
50 | DEV=$1 | 50 | DEV=$1 |
51 | BLOCK_SIZE=512 | 51 | BLOCK_SIZE=512 |
52 | 52 | ||
@@ -71,7 +71,7 @@ function device_details() { | |||
71 | echo "" | 71 | echo "" |
72 | } | 72 | } |
73 | 73 | ||
74 | function unmount_device() { | 74 | unmount_device() { |
75 | grep -q $DEVICE /proc/mounts | 75 | grep -q $DEVICE /proc/mounts |
76 | if [ $? -eq 0 ]; then | 76 | if [ $? -eq 0 ]; then |
77 | echo -n "$DEVICE listed in /proc/mounts, attempting to unmount..." | 77 | echo -n "$DEVICE listed in /proc/mounts, attempting to unmount..." |