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 14/02/2019, 18:10] krodelabestiole ancienne révision (Le 18/12/2018, 16:54) restaurée |
grub-customizer [Le 10/04/2019, 22:36] sangorys [Installation] |
||
|---|---|---|---|
| Ligne 13: | Ligne 13: | ||
| - [[:PPA|Ajouter le PPA]] **ppa:danielrichter2007/grub-customizer**((https://launchpad.net/~danielrichter2007/+archive/grub-customizer)) dans vos sources de logiciels; | - [[:PPA|Ajouter le PPA]] **ppa:danielrichter2007/grub-customizer**((https://launchpad.net/~danielrichter2007/+archive/grub-customizer)) dans vos sources de logiciels; | ||
| - [[: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]]**. |
| + | |||
| + | En ligne de commande, ça donne : | ||
| + | sudo add-apt-repository ppa:danielrichter2007/grub-customizer | ||
| + | sudo apt-get update | ||
| + | sudo apt-get install grub-customizer | ||
| ===== 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 : | ||