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
Alternativen zu Grub Customizer für alle Plattformen mit einer Lizenz
0
Partita 2000
Partita 2000 ist ein winziger Bootmanager mit einem Y2K-Patch für alte BIOS.