2014-10-12 19:45:02 +02:00
|
|
|
---
|
2014-11-13 00:19:24 +01:00
|
|
|
# Gummiboot configuration files settings, set preferred distribution name and amount of time before
|
2014-10-12 19:45:02 +02:00
|
|
|
# default selection boots
|
2014-11-11 06:13:15 +01:00
|
|
|
distribution: KaOS-kf5
|
|
|
|
|
kernel: /vmlinuz-linux
|
|
|
|
|
img: /initramfs-linux.img
|
|
|
|
|
fallback: /initramfs-linux-fallback.img
|
2014-10-12 19:45:02 +02:00
|
|
|
|
|
|
|
|
timeout: 10
|
|
|
|
|
|
2014-11-13 00:19:24 +01:00
|
|
|
# GRUB 2 binary names and boot directory
|
|
|
|
|
# Some distributions (e.g. Fedora) use grub2-* (resp. /boot/grub2/) names.
|
|
|
|
|
grubInstall: "grub-install"
|
|
|
|
|
grubMkconfig: "grub-mkconfig"
|
|
|
|
|
grubCfg: "/boot/grub/grub.cfg"
|
