15
Grub Customizer
Grub Customizer est une interface graphique pour configurer les paramètres et les entrées de menu GRUB2 / BURG.
- Gratuite
- Linux
Grub Customizer est une interface graphique pour configurer les paramètres et les entrées de menu GRUB2 / BURG.
grub-customizer
Site Internet:
https://launchpad.net/grub-customizertraits
Les catégories
