diff options
Diffstat (limited to 'auto/ssh-script.sh')
| -rwxr-xr-x | auto/ssh-script.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/auto/ssh-script.sh b/auto/ssh-script.sh index abdf7ae..8f39fb0 100755 --- a/auto/ssh-script.sh +++ b/auto/ssh-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 ~/.ssh/id_ed25519.pub ]; then |