| 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"
|
|
|