diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2022-01-11 10:29:33 -0800 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2022-01-11 10:29:33 -0800 |
| commit | 2fb7d1e98c8d6da1e0af471ea16e09afe369b56a (patch) | |
| tree | 84b31cce0eb42c158d6c8967369ab797bbf38990 /local | |
| parent | local/require-signed-push: clarify how delays in smartcard show up (diff) | |
| download | githooks-2fb7d1e98c8d6da1e0af471ea16e09afe369b56a.tar.gz githooks-2fb7d1e98c8d6da1e0af471ea16e09afe369b56a.tar.bz2 githooks-2fb7d1e98c8d6da1e0af471ea16e09afe369b56a.zip | |
local/require-signed-push: sh syntax
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'local')
| -rwxr-xr-x | local/require-signed-push | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/local/require-signed-push b/local/require-signed-push index 447e14a..005f47e 100755 --- a/local/require-signed-push +++ b/local/require-signed-push @@ -6,8 +6,8 @@ VERIFY_SIGS=$(git config --get gentoo.verify-signatures) # ---------------------------------------------------------------------- # standard stuff -silent_die() { exit 1 } -die() { echo "$@" >&2; silent_die } +silent_die() { exit 1; } +die() { echo "$@" >&2; silent_die; } warn() { echo "$@" >&2; } fail_signed_push() { |