How can I do case insensitive git diffing while also doing `git diff --color`?

£可爱£侵袭症+ 提交于 2019-12-01 02:49:11
GIT_EXTERNAL_DIFF='diff -ipu "$2" "$5" #' git diff --ext-diff

Or, in a nicer fashion without the # hack I used there:

echo 'diff -ipu "$2" "$5"' >myscript; chmod a+x myscript;
GIT_EXTERNAL_DIFF='./myscript' git diff --ext-diff

I agree it would be nicest if git-diff would just have an -i option...

Gurjeet Singh

I figured out a way to perform case-insensitive diff, although not with the --color-word option as the OP asked for. See my answer to my own question.

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!