2022-02-14 15:31:54 +00:00
|
|
|
submenu "Power" --class=debug_power --class=F5tool {
|
|
|
|
menuentry Reboot --class=debug_reboot --class=debug_power --class=F5tool {
|
|
|
|
echo -e '\n\nSystem is rebooting ... \n'
|
|
|
|
sleep 1
|
|
|
|
reboot
|
|
|
|
}
|
2020-05-29 14:57:40 +00:00
|
|
|
|
2022-02-14 15:31:54 +00:00
|
|
|
menuentry Halt --class=debug_halt --class=debug_power --class=F5tool {
|
|
|
|
echo -e '\n\nSystem is halting ... \n'
|
|
|
|
sleep 1
|
|
|
|
halt
|
|
|
|
}
|
2022-04-06 07:57:42 +00:00
|
|
|
|
|
|
|
if [ "$grub_platform" != "pc" ]; then
|
|
|
|
menuentry 'Reboot to EFI setup' --class=debug_efisetup --class=debug_power --class=F5tool {
|
|
|
|
echo -e '\n\nRebooting to enter UEFI firmware setup ... \n'
|
|
|
|
sleep 1
|
|
|
|
fwsetup
|
|
|
|
}
|
|
|
|
fi
|
2020-05-29 14:57:40 +00:00
|
|
|
|
2022-02-14 15:31:54 +00:00
|
|
|
menuentry 'Return to previous menu [Esc]' --class=vtoyret VTOY_RET {
|
|
|
|
echo 'Return ...'
|
|
|
|
}
|
2020-05-29 14:57:40 +00:00
|
|
|
}
|