From 232e31f2dd416d7c7c67d4f92b6793480be87a9d Mon Sep 17 00:00:00 2001 From: Artem Sheremet Date: Fri, 19 Feb 2016 17:20:18 +0100 Subject: [PATCH] colordiff: use git diff powers, but not git tree --- .bashrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.bashrc b/.bashrc index 078debc..f05aaa6 100644 --- a/.bashrc +++ b/.bashrc @@ -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