Outils pour utilisateurs

Outils du site


systemes_dexploitation:linux:ubuntu:grub2

Modifier le menu grub

Cette procédure a été effectuée sur Ubuntu 9.10.

Modifier le délai

  • Faire Alt+F2 pour exécuter une commande
  • Entrer : gksu gedit /etc/default/grub
  • Modifier la valeur de GRUB_TIMEOUT=
  • Enregistrer
  • Exécuter update-grub avec les droits administrateurs (root)

Ressource

systemes_dexploitation/linux/ubuntu/grub2.txt · Dernière modification : 2022/02/02 00:42 de 127.0.0.1