→ http://doc.ubuntu-fr.org/grub-customizer
- ajouter le PPA suivant aux sources :
ppa:danielrichter2007/grub-customizer - lancer
grub-customizer
- modifier_menu_grub2.txt
- Dernière modification: 2023/05/08 01:41
- de 127.0.0.1
modifier_menu_grub2
modifier_menu_grub2
→ http://doc.ubuntu-fr.org/grub-customizer
ppa:danielrichter2007/grub-customizergrub-customizer