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 02/05/2022, 14:31]
88.122.224.21 [Ubuntu 21.04 : compilation] version 22.04
grub-customizer [Le 22/06/2022, 08:58] (Version actuelle)
malbo Ubuntu 22.04 : paragraphe 2.4 au lieu de 2.3.3 -
Ligne 83: Ligne 83:
 <note warning>​C'​est à cette étape que la commande classique <sudo make install> est remplacée par <​make>​ et <​checkinstall>​ </​note>​ <note warning>​C'​est à cette étape que la commande classique <sudo make install> est remplacée par <​make>​ et <​checkinstall>​ </​note>​
 Les fichiers présents dans le répertoire créé par la compilation et l'​archive téléchargée peuvent être désormais supprimés. Les fichiers présents dans le répertoire créé par la compilation et l'​archive téléchargée peuvent être désormais supprimés.
-=== Ubuntu 22.04 ===+==== Ubuntu 22.04 ====
 <code bash>​sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer <code bash>​sudo add-apt-repository ppa:​danielrichter2007/​grub-customizer
 sudo apt-get update sudo apt-get update
  • grub-customizer.txt
  • Dernière modification: Le 22/06/2022, 08:58
  • par malbo