Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
| menu_demarrage [2016/03/11 19:03] – admin | menu_demarrage [2022/10/04 17:49] (Version actuelle) – modification externe 127.0.0.1 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== Démarrer par défaut en mode " | + | ====== Démarrer par défaut en mode " |
| Démarrer "Grub Customizer": | Démarrer "Grub Customizer": | ||
| Ligne 21: | Ligne 21: | ||
| - | {{ : | + | {{ : |
| Les options auront changé au prochain démarrage. | Les options auront changé au prochain démarrage. | ||