Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
grub-customizer [Le 11/02/2019, 22:16]
90.42.92.78 [Installation]
grub-customizer [Le 14/02/2019, 18:10] (Version actuelle)
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-customizer</​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 :
  • grub-customizer.1549919818.txt.gz
  • Dernière modification: Le 11/02/2019, 22:16
  • par 90.42.92.78