diff options
author | Christian Hesse <mail@eworm.de> | 2015-05-21 14:36:39 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2015-05-21 14:36:39 +0200 |
commit | 20d6bcc38ee2d1c0399aff072f7b8f2e922a2680 (patch) | |
tree | e443b300dfc21c3ace17a70f3e2ed83ee4989e72 /90_reboot | |
parent | dc8949b2c8b55583d6da80b27e0e5b683c4fbeb1 (diff) | |
download | grub-reboot-poweroff-20d6bcc38ee2d1c0399aff072f7b8f2e922a2680.tar.gz grub-reboot-poweroff-20d6bcc38ee2d1c0399aff072f7b8f2e922a2680.tar.zst |
make scripts more verbose
Diffstat (limited to '90_reboot')
-rwxr-xr-x | 90_reboot | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,5 +1,7 @@ #!/bin/sh +echo "Adding reboot option." >&2 + cat << EOF menuentry 'Reboot' --class tool { reboot |