15
Grub Customizer
Grub Customizer ist eine grafische Oberfläche zum Konfigurieren der GRUB2 / BURG-Einstellungen und -Menüeinträge.
- Kostenlose
- Linux
Grub Customizer ist eine grafische Oberfläche zum Konfigurieren der GRUB2 / BURG-Einstellungen und -Menüeinträge.
grub-customizer
Webseite:
https://launchpad.net/grub-customizerEigenschaften
Kategorien
