¿Cómo agrego un parámetro de arranque del kernel?

120

Necesito agregar el parámetro de inicio foo=bar a mi kernel. ¿Cómo puedo hacer esto una vez para probar y de forma permanente si las pruebas fueron un éxito?

    
pregunta htorque 30.12.2010 - 23:51

3 respuestas

170

Para agregar temporalmente un parámetro de inicio a un kernel:

  1. Inicie su sistema y espere a que se muestre el menú de GRUB (si no ve un menú de GRUB, presione y mantenga presionada la tecla Shift izquierda justo después de iniciar el sistema).
  2. Ahora resalte el kernel que desea usar, y presione la tecla e . Debería poder ver y editar los comandos asociados con el núcleo resaltado.
  3. Baje a la línea que comienza con linux y agregue su parámetro foo=bar a su final.
  4. Ahora presiona Ctrl + x para arrancar.


Para que este cambio sea permanente:

  1. Desde una terminal (o después de presionar Alt + F2 ) ejecutar:

    gksudo gedit /etc/default/grub
    

    (o use sudo nano si gksudo o gedit no están disponibles) e ingrese su contraseña.

  2. Encuentre la línea que comienza con GRUB_CMDLINE_LINUX_DEFAULT y añada foo=bar a su final. Por ejemplo:

    GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
    

    Guarde el archivo y cierre el editor.

  3. Finalmente, inicie una terminal y ejecute:

    sudo update-grub
    

    para actualizar el archivo de configuración de GRUB (probablemente deba ingresar su contraseña).

En el próximo reinicio, el kernel debería iniciarse con el parámetro de arranque. Para eliminarlo permanentemente, simplemente elimine el parámetro de GRUB_CMDLINE_LINUX_DEFAULT y ejecute sudo update-grub nuevamente.

Para verificar sus cambios, puede ver exactamente con qué parámetros arrancó su kernel al ejecutar cat /proc/cmdline .

Página Wiki:

respondido por el htorque 30.12.2010 - 23:51
12

Para agregar cualquier opción del kernel:

  • para una sesión de CD en vivo: siga estos pasos

  • para una instalación existente: utilice Boot-Repair . Add a kernel option o Edit GRUB configuration file options.

Consulte también esta documentación .

    
respondido por el LovinBuntu 05.07.2012 - 23:25
11

Alternativamente, también puede usar el práctico grub-customizer :

sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &

Simplemente abra una entrada de inicio y edite los parámetros del kernel como se resalta en la siguiente captura de pantalla:

    
respondido por el jasxun 11.12.2012 - 02:59

Lea otras preguntas en las etiquetas