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

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?

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:

• https://help.ubuntu.com/community/BootOptions

Para adicionar qualquer opção do kernel:

• para uma sessão do liveCD: siga estas etapas

• para uma instalação existente: usar Boot-Reparação 's Add a kernel optionou Edit GRUB configuration fileopções.

Veja também esta documentação .

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: