Comment ajouter un paramètre de démarrage du noyau?

Pour ajouter temporairement un paramètre de démarrage à un noyau:

1. Démarrez votre système et attendez que le menu GRUB s'affiche (si vous ne voyez pas de menu GRUB, appuyez et maintenez la touche Shift gauche juste après le démarrage du système).
2. Maintenant, mettez en évidence le noyau que vous souhaitez utiliser et appuyez sur la touche e . Vous devriez pouvoir voir et éditer les commandes associées au noyau en surbrillance.
3. Descendez à la ligne commençant par linux et ajoutez votre paramètre foo=bar à sa fin.
4. Maintenant, appuyez sur Ctrl + x pour démarrer.

Pour que cette modification soit permanente:

1. exécuter depuis un terminal (ou après avoir appuyé sur Alt + F2 ):

   gksudo gedit /etc/default/grub
   

   (ou utilisez sudo nano si gksudo ou gedit ne sont pas disponibles) et entrez votre mot de passe.

2. Recherchez la ligne commençant par GRUB_CMDLINE_LINUX_DEFAULT et ajoutez foo=bar à sa fin. Par exemple:

   GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
   

   Enregistrez le fichier et fermez l'éditeur.

3. Enfin, démarrez un terminal et lancez:

   sudo update-grub
   

   pour mettre à jour le fichier de configuration de GRUB (vous devez probablement entrer votre mot de passe).

Au prochain redémarrage, le noyau doit être démarré avec le paramètre boot. Pour le supprimer définitivement, supprimez simplement le paramètre de GRUB_CMDLINE_LINUX_DEFAULT et exécutez à nouveau sudo update-grub .

Pour vérifier vos modifications, vous pouvez voir exactement les paramètres avec lesquels votre noyau a démarré en exécutant cat /proc/cmdline .

Wiki Page:

• lien

Pour ajouter une option du noyau:

• pour une session liveCD: suivez ces étapes

• pour une installation existante: utilisez Boot-Repair Add a kernel option ou Edit GRUB configuration file options.

Voir aussi cette documentation .

Vous pouvez également utiliser le grub-customizer pratique:

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

Ouvrez simplement une entrée de démarrage et éditez ses paramètres de noyau comme indiqué dans la capture d'écran ci-dessous: