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 12/01/2022, 23:22] Dagobert_78 [Après Ubuntu 18.04 sauf 21.04] |
grub-customizer [Le 02/05/2022, 14:31] 88.122.224.21 [Ubuntu 21.04 : compilation] version 22.04 |
||
|---|---|---|---|
| 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 === | ||
| + | <code bash>sudo add-apt-repository ppa:danielrichter2007/grub-customizer | ||
| + | sudo apt-get update | ||
| + | sudo apt-get install grub-customizer </code> | ||
| + | |||
| ===== Utilisation===== | ===== Utilisation===== | ||