mirror of
https://github.com/git/git
synced 2024-08-27 19:49:21 +00:00
![Junio C Hamano](/assets/img/avatar_default.png)
As a fallout from not using git-sh-setup in scripts that can operate from a subdirectory, we lost definition of die() from them. It might make sense to do some cleanup to consolidate them back again, but this should suffice for now. Signed-off-by: Junio C Hamano <junkio@cox.net>
22 lines
433 B
Bash
Executable file
22 lines
433 B
Bash
Executable file
#!/bin/sh
|
|
|
|
GIT_DIR=`git-rev-parse --git-dir` || exit $?
|
|
|
|
die () {
|
|
echo >&2 "$*"
|
|
exit 1
|
|
}
|
|
|
|
type="$(git-cat-file -t "$1" 2>/dev/null)" ||
|
|
die "$1: no such object."
|
|
|
|
test "$type" = tag ||
|
|
die "$1: cannot verify a non-tag object of type $type."
|
|
|
|
git-cat-file tag "$1" >"$GIT_DIR/.tmp-vtag" || exit 1
|
|
cat "$GIT_DIR/.tmp-vtag" |
|
|
sed '/-----BEGIN PGP/Q' |
|
|
gpg --verify "$GIT_DIR/.tmp-vtag" - || exit 1
|
|
rm -f "$GIT_DIR/.tmp-vtag"
|
|
|