Puesto al día el 31 de agosto de 2023.
configuración
sudo nano /etc/default/grubGRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
GRUB_TIMEOUT=3
GRUB_CMDLINE_LINUX_DEFAULT=""
con GRUB_SAVEDEFAULT, se permite a GRUB recordar la última opción seleccionada en su propio menú y, con el valor saved en GRUB_DEFAULT, se carga esa última opción (la que sea en cada ocasión) por defecto. GRUB_TIMEOUT establece los segundos de espera del menú de GRUB y, eliminando las opciones de GRUB_CMD_LINE_DEFAULT (quiet, splash), se muestran líneas y líneas de código durante el arranque.
GRUB_CMDLINE_LINUX_DEFAULT y GRUB_CMDLINE_LINUX
GRUB_CMDLINE_LINUX_DEFAULT="pci=nomsi"
GRUB_CMDLINE_LINUX="nomodeset"
GRUB_CMDLINE_LINUX_DEFAULT añade una opción de arranque de manera permanente a GRUB (en este caso, pci=nomsi) y, si se instaló debian con la opción nomodeset, ésta seguirá en GRUB_CMDLINE_LINUX.
puesta a punto de GRUB
update-grub
update-grub2
mediante cualquiera de estos comandos, se genera un nuevo menú de GRUB conforme al archivo de configuración /etc/default/grub.
problemario
arranque dual ubuntu-windows con UEFI
si el menú de GRUB no aparece en pantalla después de instalar ubuntu y windows en un mismo disco duro, es posible restituirlo desde una versión de prueba de ubuntu (ejecutado desde un dispositivo USB, por ejemplo).
en primer lugar, hay que montar el directorio raíz de ubuntu, la partición de /boot (si ésta está en una partición distinta de la raíz) y la partición de EFI. también se vinculan partes del sistema activo (/dev, /dev/pts, /proc, /sys y /run) con el sistema ubuntu que se pretende recuperar (/mnt):
sudo mount /dev/sda7 /mnt
sudo mount /dev/sda6 /mnt/boot
sudo mount /dev/sda1 /mnt/boot/efi
for i in /dev /dev/pts /proc /sys /run; do sudo mount -B $i /mnt$i; done
si uno no sabe dónde está la raíz del sistema ubuntu, la partición de /boot o quién es EFI, puede valerse de la aplicación gparted (disponible en la versión de prueba de ubuntu) o del comando fdisk para tratar de averiguarlo:
sudo fdisk -l
suerte.
hecho esto, se cambia el directorio raíz para ejecutar update-grub en el sistema ubuntu a recuperar:
sudo chroot /mnt
grub-install /dev/sda
update-grub
exit
reboot
debería valer.
Time out waiting for device... O dependency failed for /boot/efi
durante su instalación, windows da formato a la partición UEFI y, en consecuencia, cambia su identificador (UUID): si windows se instala después de ubuntu, además de recuperar GRUB, habrá que cambiar el identificador de la partición UEFI en /etc/fstab.
sudo nano /etc/fstabUUID=C0C7-DFB2 /boot/efi vfat umask=0077 0 1