From 70c59eab4af040e1f17b3c548968a887dabb400c Mon Sep 17 00:00:00 2001 From: James Shubin Date: Thu, 11 Jan 2018 18:03:04 -0500 Subject: [PATCH] misc: Don't display script name in output --- tag.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tag.sh b/tag.sh index 9da40291..9bc36b09 100755 --- a/tag.sh +++ b/tag.sh @@ -46,5 +46,5 @@ git push origin $t # Be informative. GIT_PAGER=cat git diff --stat "$v" "$t" -if which contrib.sh 2>/dev/null; then contrib.sh "$v"; fi +if which contrib.sh &>/dev/null; then contrib.sh "$v"; fi echo -e "run 'git log $v..$t' to see what has changed since $v"