Résultats plein texte:

000_start

4 Occurrences trouvées, Dernière modification : il y a 7 mois

défaut, le menu de Grub ne s'affiche pas pour les configurations ne comportant qu'un seul système ( non multi-boo... ==== Démarrer Windows depuis la console ===== La configuration de grub est contenue dans le fichier **grub.cfg**... === Reconfigurer Grub ===== Les modifications de configuration de grub2 se font depuis le système d'exploitation... 'utilitaire **update-grub** produit le fichier de configuration ''/etc/grub/grub.cgf''. Il est déconseillé de l'é

modifier-disposition-touches-clavier-fr

4 Occurrences trouvées, Dernière modification : il y a 5 semaines

que sur leur ordinateur portable notamment, la reconfiguration du clavier ne fonctionnait pas et pouvait même re... era pas su votre système car elle repose sur la reconfiguration du clavier ''at_keyboard''. </note> Une fois le ... système correctement démarré, on peut modifier la configuration de GRUB. <code bash> # Création du répertoire s'... pas utilisé. :TODO: On ajoute la fonction de reconfiguration de l'entrée <file> #!/bin/sh # Stopper l’exécut

supprimer_options_demarrage

2 Occurrences trouvées, Dernière modification : il y a 5 ans

e dans la documentation ''info -f grub -n 'Simple configuration'''. </note> Pour déterminer l'UUID, plusieurs po... xx # via blkid sudo blkid </code> Regénérer la configuration après toute modification du fichier /etc/default/

demarrer-le-dernier-choix

1 Occurrences trouvées, Dernière modification : il y a 6 semaines

AULT=saved </file> Après modification du fichier configuration, mettre à jour GRUB : <code bash> update-grub </

modifier_demarrage_par_defaut

1 Occurrences trouvées, Dernière modification : il y a 5 ans

able **GRUB_DEFAULT** présente dans le fichier de configuration /etc/default/grub. Pour lister les options de dé