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
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 grub/grub- mkconfig_ lib:save_ default_ entry () d/30_os- prober: save_default_entry | grub_add_tab d/30_os- prober: save_default_entry | grub_add_tab d/30_os- prober: save_default_entry | sed -e "s/^/\t/" d/30_os- prober: save_default_entry | grub_add_tab d/30_os- prober: save_default_entry | sed -e "s/^/$grub_ tab$grub_ tab/" d/30_os- prober: save_default_entry | grub_add_tab d/30_os- prober: save_default_entry | sed -e "s/^/\t/" d/20_linux_ xen: save_default_entry | grub_add_tab | sed "s/^/$submenu_ indentation/ " d/10_linux: save_default_entry | grub_add_tab d/20_ipxe: save_default_entry | grub_add_tab
/usr/share/
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.
/etc/grub.