Como adiciono um parâmetro de inicialização do kernel?


157

Eu preciso adicionar o parâmetro de inicialização foo=barao meu kernel. Como posso fazer isso uma vez para testar e permanentemente se o teste foi um sucesso?

Respostas:


224

Para adicionar temporariamente um parâmetro de inicialização a um kernel:

  1. Inicie seu sistema e aguarde o menu GRUB aparecer (se você não vir um menu GRUB, pressione e mantenha pressionada a Shifttecla esquerda logo após iniciar o sistema).
  2. Agora destaque o kernel que você deseja usar e pressione a etecla Você deve poder ver e editar os comandos associados ao kernel destacado.
  3. Vá para a linha que começa com linuxe adicione seu parâmetro foo=barao final.
  4. Agora pressione Ctrl+ xpara inicializar.


Para tornar essa alteração permanente:

  1. Em um terminal (ou depois de pressionar Alt+ F2), execute:

    gksudo gedit /etc/default/grub
    

    (ou use sudo nanose gksudoou geditnão estiver disponível) e digite sua senha.

  2. Encontre a linha que começa com GRUB_CMDLINE_LINUX_DEFAULTe acrescente foo=barao final. Por exemplo:

    GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
    

    Salve o arquivo e feche o editor.

  3. Por fim, inicie um terminal e execute:

    sudo update-grub
    

    para atualizar o arquivo de configuração do GRUB (você provavelmente precisará digitar sua senha).

Na próxima reinicialização, o kernel deve ser iniciado com o parâmetro de inicialização. Para removê-lo permanentemente, basta remover o parâmetro GRUB_CMDLINE_LINUX_DEFAULTe executar sudo update-grubnovamente.

Para verificar suas alterações, você pode ver exatamente com quais parâmetros seu kernel inicializou executando cat /proc/cmdline.

Página Wiki:


3
FYI para testar esta corridacat /proc/cmdline
Avindra Goolcharan

Shift não funciona para mim. Eu usei o Esc. Tinha que ter cuidado para não segurá-la por muito tempo ou ele iria explodir a direita através GRUB
eqzx

1
gksudonão está mais no Ubuntu. Use em pkexecvez disso.
Terrance


12

Como alternativa, você também pode usar o prático grub-personalizador :

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

Basta abrir uma entrada de inicialização e editar seus parâmetros do kernel, conforme destacado na captura de tela abaixo:

captura de tela

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.