Respostas:
Para adicionar temporariamente um parâmetro de inicialização a um kernel:
linux
e adicione seu parâmetro foo=bar
ao final.
Para tornar essa alteração permanente:
Em um terminal (ou depois de pressionar Alt+ F2), execute:
gksudo gedit /etc/default/grub
(ou use sudo nano
se gksudo
ou gedit
não estiver disponível) e digite sua senha.
Encontre a linha que começa com GRUB_CMDLINE_LINUX_DEFAULT
e acrescente foo=bar
ao final. Por exemplo:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
Salve o arquivo e feche o editor.
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_DEFAULT
e executar sudo update-grub
novamente.
Para verificar suas alterações, você pode ver exatamente com quais parâmetros seu kernel inicializou executando cat /proc/cmdline
.
Página Wiki:
gksudo
não está mais no Ubuntu. Use em pkexec
vez disso.
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 option
ou Edit GRUB configuration file
opçõ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:
cat /proc/cmdline