Risposte:
Per aggiungere temporaneamente un parametro di avvio a un kernel:
linux
e aggiungi il parametro foo=bar
alla fine.
Per rendere permanente questa modifica:
Da un terminale (o dopo aver premuto Alt+ F2), eseguire:
gksudo gedit /etc/default/grub
(oppure usa sudo nano
se gksudo
o gedit
non sono disponibili) e inserisci la tua password.
Trova la riga che inizia con GRUB_CMDLINE_LINUX_DEFAULT
e aggiungi foo=bar
alla sua fine. Per esempio:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
Salvare il file e chiudere l'editor.
Infine, avvia un terminale ed esegui:
sudo update-grub
per aggiornare il file di configurazione di GRUB (probabilmente dovrai inserire la tua password).
Al successivo riavvio, il kernel dovrebbe essere avviato con il parametro boot. Per rimuoverlo permanentemente, è sufficiente rimuovere il parametro GRUB_CMDLINE_LINUX_DEFAULT
ed eseguirlo di sudo update-grub
nuovo.
Per verificare le modifiche, puoi vedere esattamente con quali parametri il tuo kernel ha avviato eseguendo cat /proc/cmdline
.
Pagina Wiki:
gksudo
non è più in Ubuntu. Usa pkexec
invece.
Per aggiungere qualsiasi opzione del kernel:
per una sessione LiveCD: seguire questi passaggi
per un'installazione esistente: utilizzare Boot-Repair s' Add a kernel option
o Edit GRUB configuration file
opzioni.
Vedi anche questa documentazione .
In alternativa, puoi anche utilizzare il pratico personalizzatore grub :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &
Basta aprire una voce di avvio e modificarne i parametri del kernel come evidenziato nello screenshot seguente:
cat /proc/cmdline