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 | |||
grub-customizer [Le 09/03/2023, 15:43] freechelmi [Grub Customizer] |
grub-customizer [Le 14/05/2024, 18:20] (Version actuelle) freechelmi |
||
---|---|---|---|
Ligne 21: | Ligne 21: | ||
<code>sudo cp -Rp /etc/grub.d /etc/grub.d.ori</code> | <code>sudo cp -Rp /etc/grub.d /etc/grub.d.ori</code> | ||
</note> | </note> | ||
- | Lancez l'application comme indiqué [[:tutoriel:comment_lancer_application|ici]] ou via le [[:terminal]] (toutes [[:versions]] ou [[:variantes]] d'Ubuntu) avec la [[:commande_shell|commande]] suivante(([[:sudo#quand_doit-on_utiliser_sudogksudokdesudo|Quand doit-on utiliser sudo/gksudo/kdesudo ?]])) : | ||
- | <code>gksudo grub-customizer</code> ne fonctionnant plus sous Ubuntu 18.04, (gksudo n'existe plus). | + | [[:tutoriel:comment_lancer_application|Lancez l'application]] via la liste des applications ou via le [[:terminal]] |
- | vous pouvez utiliser à la place | + | |
<code>pkexec grub-customizer</code> | <code>pkexec grub-customizer</code> | ||