Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| utilisateurs:watts [Le 14/03/2020, 13:06] – [En cas de dual-boot avec un autre Système type Debian] Watts | utilisateurs:watts [Le 11/09/2022, 12:27] (Version actuelle) – Suppression des espaces en fin de ligne (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) moths-art | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| Watts | Watts | ||
| - | Ubuntueros investi depuis peu de temps (découverte 18.04). | + | Ubuntueros investi depuis peu de temps (découverte 18.04). |
| KDE fan, command line addict | KDE fan, command line addict | ||
| Ligne 11: | Ligne 11: | ||
| - | ==== Modification de 30_os-prober ==== | ||
| - | Le fichier 30_os-prober génère le menu grub pour les autres systèmes détectés par os-prober. Il suffit de trouver la ligne concernant le menu " | ||
| - | |||
| - | Ligne 292, vous avez: | ||
| - | |||
| - | < | ||
| - | |||
| - | Il faut remplacer \$menuentry_id_option par \$restricted, | ||
| - | |||
| - | < | ||
| - | |||
| - | Puis | ||
| - | |||
| - | < | ||
| - | |||
| - | Puis redémarrer pour vérifier. Cette fois, dès l' | ||
| - | |||
| - | ===== Conclusion ===== | ||
| - | |||
| - | Vous avez désormais un menu grub somme toute assez robuste, ce qui n' | ||
