8025-Configure_grub_startup_machine #39
Loading…
Reference in New Issue
No description provided.
Delete Branch "8025-Configure_grub_startup_machine"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
@ -0,0 +141,4 @@
fi
echo "menuentry '$(echo "$title" | grub_quote)' ${CLASS} \$menuentry_id_option 'gnulinux-$version-$type-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
else
echo "menuentry '$(echo "$os" | grub_quote)' --unrestricted ${CLASS} \$menuentry_id_option 'gnulinux-simple-$boot_device_id' {" | sed "s/^/$submenu_indentation/"
En lugar de copiar el fichero entero, usar una de las siguientes opciones:
update-grub
y rescribirlo utilizando sed despues de llamar al comando originalmenuentry_id_option
en /etc/grub.d/09_unrestricted para añadir--unrestricted
a todas las opcionesEjemplo divert:
Enlaces:
We use this approach https://wiki.archlinux.org/title/Talk:GRUB/Tips_and_tricks