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

124

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

    
por htorque 30.12.2010 / 23:51

3 respostas

177

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

  1. Inicie o seu sistema e aguarde a exibição do menu do GRUB (se você não vir um menu do GRUB, pressione e segure a tecla esquerda Shift logo após iniciar o sistema).
  2. Agora, destaque o kernel que você deseja usar e pressione a tecla e . Você deve poder ver e editar os comandos associados ao kernel destacado.
  3. Vá até a linha que começa com linux e adicione seu parâmetro foo=bar ao final.
  4. Agora pressione Ctrl + x para inicializar.


Para tornar esta alteração permanente:

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

    gksudo gedit /etc/default/grub
    

    (ou use sudo nano if gksudo ou gedit não estão disponíveis) e digite sua senha.

  2. Encontre a linha que começa com GRUB_CMDLINE_LINUX_DEFAULT e anexe foo=bar ao seu 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 de GRUB_CMDLINE_LINUX_DEFAULT e executar sudo update-grub novamente.

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

Página do Wiki:

por htorque 30.12.2010 / 23:51
12

Para adicionar qualquer opção de kernel:

  • para uma sessão do LiveCD: siga as estas etapas

  • para uma instalação existente: use Boot-Repair Add a kernel option ou Edit GRUB configuration file opções.

Vejatambém esta documentação .

    
por LovinBuntu 05.07.2012 / 23:25
11

Alternativamente, você também pode usar o grub-customizer :

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 os parâmetros do kernel, conforme destacado na captura de tela abaixo:

    
por jasxun 11.12.2012 / 02:59