From 214d5d8ba3443397f6a8aedea6adb4b8272cfd12 Mon Sep 17 00:00:00 2001 From: Stephen Haberman Date: Mon, 29 Sep 2008 03:45:08 -0500 Subject: [PATCH] Consolidate cat+grep calls into just grep. --- server/post-receive-assign-commit-numbers | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/server/post-receive-assign-commit-numbers b/server/post-receive-assign-commit-numbers index 6ed313d..46cd45a 100644 --- a/server/post-receive-assign-commit-numbers +++ b/server/post-receive-assign-commit-numbers @@ -2,14 +2,14 @@ . $(dirname $0)/functions +touch "$GIT_DIR/commitnumbers" + while read oldrev newrev refname ; do set_new_commits echo "$new_commits" | git rev-list --reverse --stdin | while read commit ; do - touch "$GIT_DIR/commitnumbers" - cat "$GIT_DIR/commitnumbers" | grep --quiet "$commit" - if [ $? -ne 0 ] ; then + if [[ $(grep "$commit" "$GIT_DIR/commitnumbers") == "" ]] ; then echo "$commit" >> "$GIT_DIR/commitnumbers" - number=$(cat "$GIT_DIR/commitnumbers" | grep --line-number "$commit" | grep -oP "^\d+(?=:)") + number=$(grep --max-count=1 --line-number "$commit" "$GIT_DIR/commitnumbers" | grep -oP "^\d+(?=:)") git tag "r/$number" "$commit" fi done -- 2.20.1