Je dois ajouter le paramètre de démarrage foo=bar
à mon noyau. Comment puis-je faire cela une fois pour le test, et de façon permanente si le test a été un succès ?
Réponses
Trop de publicités?Pour ajouter temporairement un paramètre de démarrage à un noyau
- Démarrez votre système et attendez que le menu Grub s'affiche (si vous ne voyez pas de menu Grub, appuyez et maintenez enfoncé le bouton gauche de la souris. Shift juste après le démarrage du système).
- Mettez maintenant en surbrillance le noyau que vous voulez utiliser, et appuyez sur la touche e clé. Vous devriez être en mesure de voir et de modifier les commandes associées au noyau en surbrillance.
- Descendez jusqu'à la ligne commençant par
linux
et ajoutez votre paramètrefoo=bar
jusqu'à son terme. - Maintenant, appuyez sur Ctrl + x pour démarrer.
Pour rendre ce changement permanent
-
A partir d'un terminal (ou après avoir appuyé sur Alt + F2 ) courir :
gksudo gedit /etc/default/grub
(ou utiliser
sudo nano
sigksudo
ogedit
ne sont pas disponibles) et saisissez votre mot de passe. -
Trouvez la ligne commençant par
GRUB_CMDLINE_LINUX_DEFAULT
et ajouterfoo=bar
jusqu'à son terme. Par exemple :GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
Enregistrez le fichier et fermez l'éditeur.
-
Enfin, lancez un terminal et exécutez :
sudo update-grub
pour mettre à jour le fichier de configuration de Grub (vous devrez probablement entrer votre mot de passe).
Au prochain redémarrage, le noyau doit être lancé avec le paramètre boot. Pour le supprimer définitivement, il suffit d'enlever le paramètre de GRUB_CMDLINE_LINUX_DEFAULT
et exécuter sudo update-grub
encore.
Pour vérifier vos changements, vous pouvez voir exactement avec quels paramètres votre noyau a démarré en exécutant cat /proc/cmdline
.
Pour ajouter une option du noyau :
-
pour une session liveCD : suivez ces étapes
-
pour une installation existante : utilice Réparation des bottes 's
Add a kernel option
oEdit GRUB configuration file
options.
Voir aussi cette documentation .
Alternativement, vous pouvez également utiliser la pratique Grub-customizer :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
gksu grub-customizer &
Il suffit d'ouvrir une entrée de démarrage, et de modifier ses paramètres de noyau comme indiqué dans la capture d'écran ci-dessous :