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
Alternatives à Grub Customizer pour toutes les plateformes avec n'importe quelle licence
0
Partita 2000
Partita 2000 est un petit gestionnaire de démarrage avec un correctif Y2K pour les anciens BIOS.
