Réponses:
Pour ajouter temporairement un paramètre de démarrage à un noyau:
linux
et ajoutez votre paramètre foo=bar
à sa fin.
Pour rendre ce changement permanent:
Depuis un terminal (ou après avoir appuyé sur Alt+ F2), exécutez:
gksudo gedit /etc/default/grub
(ou utilisez sudo nano
si gksudo
ou gedit
ne sont pas disponibles) et entrez votre mot de passe.
Trouvez la ligne en commençant par GRUB_CMDLINE_LINUX_DEFAULT
et ajoutez-la foo=bar
à la fin. Par exemple:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"
Enregistrez le fichier et fermez l'éditeur.
Enfin, démarrez un terminal et exécutez:
sudo update-grub
mettre à jour le fichier de configuration de GRUB (vous devrez probablement entrer votre mot de passe).
Au prochain redémarrage, le noyau devrait être démarré avec le paramètre de démarrage. Pour le supprimer définitivement, supprimez simplement le paramètre GRUB_CMDLINE_LINUX_DEFAULT
et exécutez-le à sudo update-grub
nouveau.
Pour vérifier vos modifications, vous pouvez voir exactement quels paramètres ont été démarrés par votre noyau en les exécutant cat /proc/cmdline
.
Page Wiki:
gksudo
n'est plus dans Ubuntu. Utilisez à la pkexec
place.
Pour ajouter une option de noyau:
pour une session liveCD: suivez ces étapes
pour une installation existante: utiliser Boot-Repair de Add a kernel option
ou Edit GRUB configuration file
options.
Voir aussi cette documentation .
Alternativement, vous pouvez également utiliser le très pratique grub-customizer :
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 modifiez ses paramètres de noyau comme indiqué dans la capture d'écran ci-dessous:
cat /proc/cmdline