Perfecto. Muchas gracias. He utilizado la orden para editar en Gedit, más fácil que directamente en el terminal.
sudo gedit /boot/grub/grub.cfg
Después he modificado la línea donde está set default="0" por el número de aparición en el Grub, en unos casos el 4 y en otro, el 5. Parece magia esto del Terminal, pero funciona.
### BEGIN /etc/grub.d/00_header ###
if [ -s /boot/grub/grubenv ]; then
have_grubenv=true
load_env
fi
set default="0"
### BEGIN /etc/grub.d/00_header ###if [ -s /boot/grub/grubenv ]; then have_grubenv=true load_envfiset default="0"
Únicamente al guardar el archivo, me ha aparecido en dos ordenadores el mensaje de la captura de pantalla que envío, pero no me preocupa porque ha funcionado.
Gracias de nuevo.
