Come si aggiunge un parametro di avvio del kernel?

119

Ho bisogno di aggiungere il parametro di avvio foo=bar al mio kernel. Come posso farlo una volta per il test e in modo permanente se il test è stato un successo?

    
posta htorque 30.12.2010 - 23:51

3 risposte

167

Per aggiungere temporaneamente un parametro di avvio a un kernel:

  1. Avvia il sistema e attendi che il menu di GRUB mostri (se non vedi il menu di GRUB, tieni premuto il tasto sinistro Maiusc subito dopo aver avviato il sistema).
  2. Ora evidenzia il kernel che vuoi usare e premi il tasto e . Dovresti essere in grado di vedere e modificare i comandi associati al kernel evidenziato.
  3. Vai alla riga che inizia con linux e aggiungi il parametro foo=bar alla fine.
  4. Ora premi Ctrl + x per avviare.


Per rendere permanente questa modifica:

  1. Da un terminale (o dopo aver premuto Alt + F2 ) esegui:

    gksudo gedit /etc/default/grub
    

    (o usa sudo nano se gksudo o gedit non sono disponibili) e inserisci la tua password.

  2. Trova la linea che inizia con GRUB_CMDLINE_LINUX_DEFAULT e aggiungi foo=bar alla sua fine. Ad esempio:

    GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
    

    Salva il file e chiudi l'editor.

  3. Infine, avvia un terminale ed esegui:

    sudo update-grub
    

    per aggiornare il file di configurazione di GRUB (probabilmente è necessario inserire la password).

Al prossimo riavvio, il kernel dovrebbe essere avviato con il parametro di avvio. Per rimuoverlo definitivamente, rimuovi semplicemente il parametro da GRUB_CMDLINE_LINUX_DEFAULT ed esegui nuovamente sudo update-grub .

Per verificare le tue modifiche, puoi vedere esattamente con quali parametri è stato avviato il kernel eseguendo cat /proc/cmdline .

Pagina Wiki:

risposta data htorque 30.12.2010 - 23:51
12

Per aggiungere qualsiasi opzione del kernel:

  • per una sessione liveCD: segui questi passaggi

  • per un'installazione esistente: usa Boot-Repair Add a kernel option o Edit GRUB configuration file opzioni.

Vedi anche questa documentazione .

    
risposta data LovinBuntu 05.07.2012 - 23:25
11

In alternativa, puoi anche utilizzare il pratico grub-customizer :

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

Apri una voce di avvio e modifica i parametri del kernel come evidenziato nello screenshot seguente:

    
risposta data jasxun 11.12.2012 - 02:59

Leggi altre domande sui tag