diff options
| author |  Christian Hesse <mail@eworm.de> | 2019-05-16 09:52:51 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2019-05-16 09:52:51 +0200 |
| commit | 70f137553389a60dcf95826f70b846a5baad72ce (patch) | |
| tree | 9d74d8de9a995078e8b84e3c1cbf01aed8cd0aec /90_reboot | |
| parent | c5447692bead21d2d9d2515d84005f5caad9251b (diff) | |
| download | grub-reboot-poweroff-70f137553389a60dcf95826f70b846a5baad72ce.tar.gz grub-reboot-poweroff-70f137553389a60dcf95826f70b846a5baad72ce.tar.zst | |
add id for boot entries
Diffstat (limited to '90_reboot')
| -rwxr-xr-x | 90_reboot | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ echo "Adding reboot option." >&2 cat << EOF -menuentry 'Reboot' --class tool { +menuentry 'Reboot' --class tool --id reboot { reboot } EOF |