LliureX

Custmizar grub

 
Picture of Emilio Martín
Re: Custmizar grub
by Emilio Martín - Thursday, 20 April 2017, 1:06 PM
 

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.