diff --git a/scripts/git-driver b/scripts/git-driver index 3ebe237..4114abf 100644 --- a/scripts/git-driver +++ b/scripts/git-driver @@ -32,7 +32,7 @@ if [ -d "$REPOSITORY/.git" ]; then cd "$REPOSITORY" git checkout -q "$BRANCH" git fetch -q - git diff --pretty=format: --name-status "$BRANCH" origin/"$BRANCH" | sed "s/M\t/ Edit /g; s/A\t/ Checkout /g; s/D\t/ Delete /g" | sort + git diff --pretty=format: --name-status "$BRANCH" origin/"$BRANCH" | sed "s/M\t/ Edit /g; s/A\t/ Checkout /g; s/D\t/ Delete /g; s/R[0-9]\{3\}\t/ Rename /g" | sort # git-checkout(1) should ensure the existence of an exclude file, # whose length needs to be saved to make this driver idempotent. IGNORE_DEFAULT=$(wc -l .git/info/exclude | cut -d " " -f 1)