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 Prochaine révision Les deux révisions suivantes | ||
|
grub-customizer [Le 11/02/2019, 22:15] 90.42.92.78 [Installation] |
grub-customizer [Le 14/02/2019, 18:10] krodelabestiole ancienne révision (Le 18/12/2018, 16:54) restaurée |
||
|---|---|---|---|
| Ligne 14: | Ligne 14: | ||
| - [[:tutoriel:comment_modifier_sources_maj#recharger_la_liste_des_paquets|recharger la liste des paquets]]; | - [[:tutoriel:comment_modifier_sources_maj#recharger_la_liste_des_paquets|recharger la liste des paquets]]; | ||
| - [[:tutoriel:comment_installer_un_paquet|installer le paquet]] **[[apt>grub-customizer]]**. | - [[:tutoriel:comment_installer_un_paquet|installer le paquet]] **[[apt>grub-customizer]]**. | ||
| - | |||
| - | Pour installer en ligne de commande tapez les lignes ci-dessous: | ||
| - | <code>sudo add-apt-repository ppa:danielrichter2007/grub-customizer | ||
| - | sudo apt-get update | ||
| - | sudo apt-get install grub-customi</code> | ||
| ===== Utilisation===== | ===== Utilisation===== | ||
| <note important>Avant de commencer à utiliser Grub Customizer, il est recommandé de faire une sauvegarde des fichiers de configuration de GRUB. Ouvrez un [[terminal]] et saisissez la [[:commande_shell|commande]] suivante : | <note important>Avant de commencer à utiliser Grub Customizer, il est recommandé de faire une sauvegarde des fichiers de configuration de GRUB. Ouvrez un [[terminal]] et saisissez la [[:commande_shell|commande]] suivante : | ||