admin-merge-2: more colors
authorRudolf Polzer <divverent@alientrap.org>
Tue, 18 May 2010 19:20:42 +0000 (21:20 +0200)
committerRudolf Polzer <divverent@alientrap.org>
Tue, 18 May 2010 19:20:42 +0000 (21:20 +0200)
all

diff --git a/all b/all
index bf26739679c7141f0ce01f795af49a96b495fcf2..063ea1aa3d0209befb5073f9a44f38649145a2dd 100755 (executable)
--- a/all
+++ b/all
@@ -660,7 +660,7 @@ case "$cmd" in
                                if [ -n "$note" ]; then
                                        reportdo4 echo "$note"
                                        reportecho4 "--> not merging, already had this one rejected before"
-                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log HEAD.."$ref"; git diff --color-words --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less'; then
+                               elif yesno "Branch \"$ref\" may want to get merged. Do it?" '{ git log --color HEAD.."$ref"; git diff --color --color-words --find-copies-harder --ignore-space-change HEAD..."$ref"; } | less -r'; then
                                        git checkout master
                                        org=`git rev-parse HEAD`
                                        if ! git merge "$ref" 2>&1 | tee "$t"; then