Возможно ли быть нечувствительным к регистру git при выполнении git diff --color-words? Или мне нужно использовать внешнюю программу diff при этом?
Как я могу сделать нечувствительность к регистру git отличной?
Ответ 1
GIT_EXTERNAL_DIFF='diff -ipu "$2" "$5" #' git diff --ext-diff
Или, более красиво, без # хака, который я использовал там:
echo 'diff -ipu "$2" "$5"' >myscript; chmod a+x myscript;
GIT_EXTERNAL_DIFF='./myscript' git diff --ext-diff
Я согласен, было бы лучше, если бы git -diff просто имел опцию -i...
Ответ 2
Я выяснил способ выполнения без учета регистра diff, хотя и не с опцией --color-word, как запросил OP. См. мой ответ на мой собственный вопрос.