2023-10-01 17:59:50 +00:00
|
|
|
menu_init "${env} → ${env_mod}"
|
2023-09-30 12:46:03 +00:00
|
|
|
|
|
|
|
menuentry 'list file' {
|
|
|
|
env_list
|
2023-11-22 21:56:22 +00:00
|
|
|
grub_pause
|
2023-09-30 12:46:03 +00:00
|
|
|
}
|
|
|
|
menuentry 'list variables' {
|
|
|
|
set
|
2023-11-22 21:56:22 +00:00
|
|
|
grub_pause
|
2023-09-30 12:46:03 +00:00
|
|
|
}
|
|
|
|
menuentry 'reset defaults' {
|
2023-11-22 21:56:22 +00:00
|
|
|
env set
|
2023-09-30 12:46:03 +00:00
|
|
|
env save
|
|
|
|
env_apply
|
|
|
|
}
|