diff options
| author | James Bowes <jbowes@dangerouslyinc.com> | 2007-05-05 16:48:54 -0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-05-10 15:25:01 -0700 |
| commit | fefe49d134b4dadf3a184ba7a8e48388f3c15a24 (patch) | |
| tree | 748adefe0e26e13b7cd67b7faf2da75a4d6731ab /git-rebase.sh | |
| parent | 843142ada000a992fa87bd2dc7796501332a52d9 (diff) | |
| download | git-fefe49d134b4dadf3a184ba7a8e48388f3c15a24.tar.gz git-fefe49d134b4dadf3a184ba7a8e48388f3c15a24.tar.xz | |
Add colour support in rebase and merge tree diff stats output.
The rebase and merge commands used diff-tree to display the summary stats of
what files had changed from the operation. diff-tree does not read the
diff ui configuration options, so the diff.color setting was not used.
Have rebase and merge call diff rather than diff-tree, which does read the
diff ui options.
Signed-off-by: James Bowes <jbowes@dangerouslyinc.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-rebase.sh')
| -rwxr-xr-x | git-rebase.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-rebase.sh b/git-rebase.sh index 2dc2c4fe9..61770b5a2 100755 --- a/git-rebase.sh +++ b/git-rebase.sh @@ -307,7 +307,8 @@ fi if test -n "$verbose" then echo "Changes from $mb to $onto:" - git-diff-tree --stat --summary "$mb" "$onto" + # We want color (if set), but no pager + GIT_PAGER='' git-diff --stat --summary "$mb" "$onto" fi # Rewind the head to "$onto"; this saves our current head in ORIG_HEAD. |