Usare grubby per gestire i kernel
Utilizzare il comando grubby per gestire la configurazione di GRUB 2 nel sistema, inclusa la selezione del kernel di boot predefinito o la configurazione di parametri di boot aggiuntivi dalla riga di comando del kernel da utilizzare al boot.
Per ulteriori informazioni, consultare la pagina del manuale grubby(8).
Controllo dei kernel disponibili sul sistema
I kernel sono denominati per includere il numero di versione a monte, la build di distribuzione e la famiglia di kernel.
Per ulteriori informazioni sul contesto, vedere Informazioni sui kernel Linux.
Sono disponibili diversi metodi per verificare quali kernel sono disponibili su un sistema:
Confronto del kernel predefinito con il kernel in esecuzione
Il kernel in esecuzione e il kernel configurato come il kernel predefinito in cui GRUB 2 seleziona di eseguire il boot dopo un periodo di timeout per il menu di avvio possono differire.
Se la versione predefinita del kernel e la versione in esecuzione del kernel non sono identiche, i motivi sottostanti potrebbero essere uno dei seguenti:
È installato un kernel più recente, ma il sistema non è stato riavviato.
Durante un reboot del sistema, un kernel diverso è stato selezionato manualmente per essere il kernel operativo.
Il kernel predefinito è stato aggiornato manualmente, ma il sistema non è stato riavviato dopo l'aggiornamento.
Modifica del kernel predefinito
Utilizzare grubby per impostare il kernel predefinito in cui si esegue il boot di GRUB2 dopo il raggiungimento di un periodo di timeout durante la visualizzazione del menu di avvio di GRUB2.
È possibile modificare il kernel predefinito da RHCK a UEK, da UEK a RHCK o passare a una versione specifica del kernel.
È possibile seguire una delle due opzioni per impostare il kernel predefinito in GRUB 2, utilizzando il comando grubby, effettuare una delle seguenti operazioni:
Passa al kernel RHCK o UEK più recente disponibile
Utilizzando la convenzione di denominazione per identificare i kernel UEK e i kernel RHCK disponibili nella directory /boot, è possibile cambiare facilmente il kernel predefinito per utilizzare la versione più recente di entrambi i tipi di kernel.
-
Per passare alla versione più recente di UEK sul sistema, eseguire:
sudo grubby --set-default $(ls /boot/vmlinuz-* | grep 'uek' | sort -V | tail -1) -
Per passare alla versione più recente di RHCK sul sistema, eseguire:
sudo grubby --set-default $(ls /boot/vmlinuz-* | grep -v 'uek' | sort -V | tail -1)
Effettuare il reboot del sistema dopo aver impostato il kernel predefinito per passare a quel tipo di kernel.
Modifica dei parametri di boot della riga di comando del kernel
È possibile aggiornare la configurazione di boot di GRUB 2 per un kernel specifico o per tutti i kernel installati nel sistema effettuando le operazioni riportate di seguito.
Controllo dell'ultima riga di comando del kernel utilizzata per eseguire il boot del sistema
I parametri di boot del kernel utilizzati per l'ultima volta per il boot di un sistema vengono registrati in /proc/cmdline.
Per ulteriori informazioni, vedere la pagina del manuale kernel-command-line(7).
/proc/cmdline per visualizzare la riga di comando del kernel utilizzata per avviare il sistema in esecuzione.
cat /proc/cmdline
BOOT_IMAGE=(hd0,gpt2)/vmlinuz-5.15.0-208.159.3.2.el9uek.x86_64
root=UUID=72dfa724-5feb-49e2-8869-40625bfebb01 ro
resume=UUID=13078314-ebff-4c44-b18c-3445f6802198
rd.luks.uuid=luks-a80f8f10-75b6-45de-b63e-64b8b6a3a94b
rhgb quiet crashkernel=1G-64G:448M,64G-:512M