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
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 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]]**.
  
-Pour installer en ligne de commande ​tapez les lignes ci-dessous+En ligne de commande, ça donne 
-<​code>​sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer +  sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer 
-sudo apt-get update +  sudo apt-get update 
-sudo apt-get install grub-customi</​code>​+  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 :
  • grub-customizer.txt
  • Dernière modification: Le 09/03/2023, 15:43
  • par freechelmi