lsgm/live/menu/set.sh
2023-11-10 20:09:15 +01:00

13 lines
450 B
Bash

menu_init
default='split'
menuentry "cmdpath: ${cmdpath}" { nop }
menuentry "grub_cpu: ${grub_cpu} → grub_platform: ${grub_platform}" { nop }
menu_split
menuentry "check_signatures: ${check_signatures} → pager: ${pager}" { nop }
menuentry "prefix: ${prefix} → root: ${root}" { nop }
menu_split 'split'
menuentry "esp: ${esp} → data: ${data}" { nop }
menuentry "env: ${env} → env_mod: ${env_mod}" { nop }
menuentry "live: ${live}" { nop }