colordiff: use git diff powers, but not git tree

This commit is contained in:
2016-02-19 17:28:41 +01:00
parent 9338ddedd5
commit 232e31f2dd
+1 -1
View File
@@ -266,7 +266,7 @@ cod() { # colordiff replacement with git
file2="$arg"
done
# git won't diff against a pipe, so a kind of workaround
cat $file2 | git diff --no-index $gitarg -- "$file1" -
cat $file2 | git diff --no-prefix $gitarg --no-index "$file1" -
}
if [ -r ~/.bashrc_local ]; then