[installer]: Add support for grub-set-default. (#532)

Its needed for sonic-net/sonic-utilities#40 for user to set default image for boot. grub-set-default utility writes to value of saved_entry variable to grubenv. https://www.gnu.org/software/grub/manual/legacy/Invoking-grub_002dset_002ddefault.html This patch provides support for grub-set-default to allow user choose a default image to boot from. Signed-off-by: marian-pritsak <[email protected]>
sonic-net · Apr 25, 2017 · 035b08b · 035b08b
1 parent f28790c
commit 035b08b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/installer/x86_64/install.sh b/installer/x86_64/install.sh
@@ -489,11 +489,14 @@ set timeout=5
 
 EOF
 
-# Add the logic to support grub-reboot
+# Add the logic to support grub-reboot and grub-set-default
 cat <<EOF >> $grub_cfg
 if [ -s \$prefix/grubenv ]; then
   load_env
 fi
+if [ "\${saved_entry}" ] ; then
+   set default="\${saved_entry}"
+fi
 if [ "\${next_entry}" ] ; then
    set default="\${next_entry}"
    set next_entry=