And*_*imm 13 git git-diff case-insensitive
是否可以做一个不区分大小写的git diff同时也做git diff --color-words?或者我在做git diff --color-words什么时需要使用外部差异程序?
(注意:如果你想要的只是git diff case不敏感请转到这个问题 如何在Git中执行不区分大小写的diff)
use*_*775 10
GIT_EXTERNAL_DIFF='diff -ipu "$2" "$5" #' git diff --ext-diff
Run Code Online (Sandbox Code Playgroud)
或者,没有我在那里使用的#hack的更好的方式:
echo 'diff -ipu "$2" "$5"' >myscript; chmod a+x myscript;
GIT_EXTERNAL_DIFF='./myscript' git diff --ext-diff
Run Code Online (Sandbox Code Playgroud)
我同意如果git-diff只有一个-i选项会是最好的...
| 归档时间: |
|
| 查看次数: |
4275 次 |
| 最近记录: |