mirror of
https://github.com/git/git.git
synced 2024-11-18 02:53:55 +01:00
215a7ad1ef
As promised, this is the "big tool rename" patch. The primary differences
since 0.99.6 are:
(1) git-*-script are no more. The commands installed do not
have any such suffix so users do not have to remember if
something is implemented as a shell script or not.
(2) Many command names with 'cache' in them are renamed with
'index' if that is what they mean.
There are backward compatibility symblic links so that you and
Porcelains can keep using the old names, but the backward
compatibility support is expected to be removed in the near
future.
Signed-off-by: Junio C Hamano <junkio@cox.net>
9 lines
225 B
Bash
Executable File
9 lines
225 B
Bash
Executable File
#!/bin/sh
|
|
. git-sh-setup || die "Not a git archive"
|
|
|
|
tag=$(git-rev-parse $1) || exit 1
|
|
|
|
git-cat-file tag $tag > .tmp-vtag || exit 1
|
|
cat .tmp-vtag | sed '/-----BEGIN PGP/Q' | gpg --verify .tmp-vtag - || exit 1
|
|
rm -f .tmp-vtag
|