1
contributo
Nessun oggetto della modifica |
(→Rendere effettiva la configurazione: - correzioni sui comandi) |
||
Riga 54: | Riga 54: | ||
Sono importanti anche <code>GRUB_CMDLINE_LINUX_DEFAULT</code> e <code>GRUB_CMDLINE_LINUX</code>: servono per passare parametri al kernel linux. | Sono importanti anche <code>GRUB_CMDLINE_LINUX_DEFAULT</code> e <code>GRUB_CMDLINE_LINUX</code>: servono per passare parametri al kernel linux. | ||
==Rendere effettiva la configurazione== | ==Rendere effettiva la configurazione== | ||
Ogni volta che si modifica un file in <code>/etc/grub.d</code> bisogna generare il file <code>/boot/grub/grub.cfg</code> tramite il comando <code># grub-mkconfig</code>. | Ogni volta che si modifica un file in <code>/etc/grub.d</code> bisogna generare il file <code>/boot/grub/grub.cfg</code>. Si può avere un'anteprima del grub.cfg che sarebbe generato tramite il comando <code># grub-mkconfig</code>: l'anteprima sarà visualizzata come output a terminale, ma nessun file verrà scritto. Si può utilizzare l'opzione -o per scrivere il risultato su un file anche qualunque; es: <code># grub-mkconfig -o ~/nome_file_a_scelta</code>. | ||
<br>Per scrivere effettivamente la configurazione è necessario usare il comando <code># update-grub</code>. Questo ultimo comando è necessario anche in caso di modifica del file <code>/etc/default/grub</code>. | |||
==Altri file rilevanti== | ==Altri file rilevanti== | ||
In questa sezione si riportano alcuni file che, seppure non essenziali alla configurazione di GRUB, possono essere d'aiuto nella sua configurazione o nella risoluzione di eventuali problematiche. | In questa sezione si riportano alcuni file che, seppure non essenziali alla configurazione di GRUB, possono essere d'aiuto nella sua configurazione o nella risoluzione di eventuali problematiche. |
contributo