lsgm/live/menu/env.sh

env_init
menu_init "${env} → ${env_mod}"

menuentry 'list file' {
    env_list
    grub_pause
}
menuentry 'list variables' {
    set
    grub_pause
}
menuentry 'reset defaults' {
    env set
    env save
    env_apply
}
env_init, grub list & split 2023-11-24 06:32:00 +01:00			`env_init`
normal 2023-10-01 19:59:50 +02:00			`menu_init "${env} → ${env_mod}"`
probe_ 2023-09-30 14:46:03 +02:00
			`menuentry 'list file' {`
			`env_list`
env,pause 2023-11-22 22:56:22 +01:00			`grub_pause`
probe_ 2023-09-30 14:46:03 +02:00			`}`
			`menuentry 'list variables' {`
			`set`
env,pause 2023-11-22 22:56:22 +01:00			`grub_pause`
probe_ 2023-09-30 14:46:03 +02:00			`}`
			`menuentry 'reset defaults' {`
env,pause 2023-11-22 22:56:22 +01:00			`env set`
probe_ 2023-09-30 14:46:03 +02:00			`env save`
			`env_apply`
			`}`