15
contributi
Guida a GRUB 2: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
nessun oggetto della modifica
mNessun oggetto della modifica |
Nessun oggetto della modifica |
||
| Riga 36: | Riga 36: | ||
Si sottolinea che la directory /boot/grub è modifica, o creata ex novo, tramite il comando <tt>grub-install</tt>, lo stesso comando che provvede inoltre all'installazione di GRUB sul punto di boot. | Si sottolinea che la directory /boot/grub è modifica, o creata ex novo, tramite il comando <tt>grub-install</tt>, lo stesso comando che provvede inoltre all'installazione di GRUB sul punto di boot. | ||
==/etc/grub.d== | |||
In questa directory ci sono i file con cui viene costruita la configurazione di GRUB2. | |||
Infatti la configurazione vera e propria si trova nel file <code>/boot/grub/grub.cfg</code>, e viene scritta tramite un comando apposito della shell (<tt>grub-mkconfig</tt>), che prende il contenuto dei file che si trovano in <code>/etc/grub.d</code> e lo scrive in grub.cfg: per verificare, usare il comando <code>$ less /boot/grub/grub.cfg</code>. | |||
I file vengono aggiunti a <code>grub.cfg</code> in ordine alfabetico (ciò spiega il nome con un numero iniziale), e vengono aggiunti solo se sono eseguibili (per renderli tali, si usa il comando <code># chmod +x nomefile</code>). | |||
I nomi dei file sono abbastanza esplicativi. Probabilmente i più interessanti per gli utenti sono <code>05_debian_theme</code> e <code>40_custom</code>, come si vede qui di seguito. | |||
===Impostare uno sfondo=== | |||
Analizzando <code>05_debian_theme</code>, si capisce come impostare una immagine di sfondo per grub: bisogna modificare la variabile <code>WALLPAPER</code>. | |||
A questo punto si può intervenire in 2 modi: o modificando direttamente il file <code>05_debian_theme</code>, oppure copiando <code>05_debian_theme</code> in un nuovo file, ad esempio <code>07_mio_debian_theme</code> (lo scrivente preferisce il secondo metodo, allo scopo di tenere una copia intatta del file originale), ricordando di renderlo eseguibile con <code># chmod +x 07_mio_debian_theme</code> e di disattivare il file originale con <code># chmod a-x 05_debian_theme</code>. | |||
Dopodichè basta modificare nel nuovo file la riga n. 10 del file, impostando la variabile <code>WALLPAPER</code> con il percorso che porta al file che abbiamo scelto come sfondo (attualmente sono supportati file png, tga, jpg, come si può vedere nella parte <code># check for usable backgrounds</code> che si trova di seguito nel file). | |||
L' output del comando <code>grub-mkconfig</code> ci dirà se l' immagine sarà impostata correttamente tramite il messaggio <code>Found background image: nome_file</code>. | |||
===Cambiare la risoluzione del terminale=== | |||
La risoluzione si imposta tramite il parametro <code>set gfxpayload</code> (ad esempio <code>set gfxpayload=1024x768x24</code>). Lo scrivente ha usato il file <code>40_custom</code> a tal proposito. Attenzione ad inserire dei valori compatibili con l' hardware in uso: entrando nella command-line di grub2, usare il comando <code>vbeinfo</code> per vedere quali risoluzioni sono supportate. | |||
==/etc/default/grub== | |||
In questo file ci sono altri parametri da configurare, ben commentati. | |||
Un parametro interessante è <code>GRUB_GFXMODE</code>: serve ad impostare la risoluzione di grub2 (non del terminale, che viene impostata con <code>set gfxpayload</code>). Attenzione ad inserire dei valori compatibili con l' hardware in uso: entrando nella command-line di grub2, usare il comando <code>vbeinfo</code> per vedere quali risoluzioni sono supportate.<br /> | |||
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== | |||
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>. | |||
Dopodichè è necessario fare leggere a grub2 questa nuova configurazione con 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. | ||