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 | |||
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 |