Code review comment for ~alkisg/ubuntu/+source/ipxe:lp1811496

Revision history for this message
Alkis Georgopoulos (alkisg) wrote :

Thank you Rafael,

save_default_entries is an internal function provided by /usr/share/grub/grub-mkconfig to grub scripts. AFAIK it's the official way to implement the save default functionality:

$ grep -r save_default_entry /usr/share/grub/ /etc/grub.d
/usr/share/grub/grub-mkconfig_lib:save_default_entry ()
/etc/grub.d/30_os-prober: save_default_entry | grub_add_tab
/etc/grub.d/30_os-prober: save_default_entry | grub_add_tab
/etc/grub.d/30_os-prober: save_default_entry | sed -e "s/^/\t/"
/etc/grub.d/30_os-prober: save_default_entry | grub_add_tab
/etc/grub.d/30_os-prober: save_default_entry | sed -e "s/^/$grub_tab$grub_tab/"
/etc/grub.d/30_os-prober: save_default_entry | grub_add_tab
/etc/grub.d/30_os-prober: save_default_entry | sed -e "s/^/\t/"
/etc/grub.d/20_linux_xen: save_default_entry | grub_add_tab | sed "s/^/$submenu_indentation/"
/etc/grub.d/10_linux: save_default_entry | grub_add_tab
/etc/grub.d/20_ipxe: save_default_entry | grub_add_tab

« Back to merge proposal