From e6ebb8a3fbef10f50a3f4fe346d3bb47fe8ce07b Mon Sep 17 00:00:00 2001 From: Sean Date: Sun, 14 May 2006 20:07:39 -0400 Subject: [PATCH] Strip useless "tags/" prefix from git-tag -l output --- git-tag.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/git-tag.sh b/git-tag.sh index dc6aa95767..a0afa25821 100755 --- a/git-tag.sh +++ b/git-tag.sh @@ -25,14 +25,12 @@ do force=1 ;; -l) - cd "$GIT_DIR/refs" && case "$#" in 1) - find tags -type f -print ;; - *) - shift - find tags -type f -print | grep "$@" ;; + set x . ;; esac + shift + git rev-parse --symbolic --tags | sort | grep "$@" exit $? ;; -m)