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 Les deux révisions suivantes | ||
|
grub-customizer [Le 01/09/2018, 11:53] 89.84.195.147 [Installation] |
grub-customizer [Le 05/09/2018, 14:10] L'Africain ancienne révision (Le 23/06/2018, 20:55) 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]]**. | ||
| - | Ou en une seule ligne, avec le terminal : | ||
| - | <code>sudo add-apt-repository ppa:danielrichter2007/grub-customizer -y ; sudo apt update ; sudo apt install grub-customizer -y</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 : | ||