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 | |
parent | dc8949b2c8b55583d6da80b27e0e5b683c4fbeb1 (diff) | |
download | grub-reboot-poweroff-20d6bcc38ee2d1c0399aff072f7b8f2e922a2680.tar.gz grub-reboot-poweroff-20d6bcc38ee2d1c0399aff072f7b8f2e922a2680.tar.zst |
make scripts more verbose
-rwxr-xr-x | 90_reboot | 2 | ||||
-rwxr-xr-x | 91_poweroff | 2 |
2 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,7 @@ #!/bin/sh +echo "Adding reboot option." >&2 + cat << EOF menuentry 'Reboot' --class tool { reboot diff --git a/91_poweroff b/91_poweroff index 4911932..04fb591 100755 --- a/91_poweroff +++ b/91_poweroff @@ -1,5 +1,7 @@ #!/bin/sh +echo "Adding poweroff option." >&2 + cat << EOF menuentry 'Poweroff' --class tool { halt |