diff options
Diffstat (limited to 'auto/gpg-script.sh')
| -rwxr-xr-x | auto/gpg-script.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/auto/gpg-script.sh b/auto/gpg-script.sh index 2e26668..d3f3c67 100755 --- a/auto/gpg-script.sh +++ b/auto/gpg-script.sh @@ -2,9 +2,9 @@ set -e # Ensure we are jenkins user -if [ "$EUID" -ne 1006 ] - then echo "Please run as jenkins" - exit +if [ "$EUID" -ne 1006 ]; then + >&2 echo "Please run as jenkins" + exit 1 fi if [ -f ~/.gnupg/pubring.kbx ]; then |