Index: src/platform/installer/chromeos-setimage |
diff --git a/src/platform/installer/chromeos-setimage b/src/platform/installer/chromeos-setimage |
index a661ceabe9f7f5d90852321d71148519734a788c..ff06eee6e7836e5734b2cc43e7e37ab7cac8a5c1 100755 |
--- a/src/platform/installer/chromeos-setimage |
+++ b/src/platform/installer/chromeos-setimage |
@@ -48,7 +48,6 @@ then |
exit 1 |
fi |
- |
# Mount the EFI System Partition |
mountpoint=$(mktemp -d /tmp/mountesp_XXXXXXXXX) |
tempfile=$(mktemp /tmp/grubcfg_XXXXXXXXX) |
@@ -56,11 +55,13 @@ sudo mount ${FLAGS_dst}12 ${mountpoint} |
# Make the change |
if [ -n "${newimg:-}" ]; then |
- sed -e "s/^set default=.*/set default=$newimg/" \ |
+ echo "Update boot default to menu item $newimg" |
+ sed -e "s/^set default=.*/set default=${newimg}/" \ |
${mountpoint}/efi/boot/grub.cfg > ${tempfile} |
sudo cp ${tempfile} ${mountpoint}/efi/boot/grub.cfg |
fi |
+echo "Current boot default is:" |
# Print the [new] default choice |
grep -qs '^set default=0' ${mountpoint}/efi/boot/grub.cfg && echo "A" |
grep -qs '^set default=1' ${mountpoint}/efi/boot/grub.cfg && echo "B" |