J'ai configuré l'option pager de Git de la manière suivante
[pager]
log = diff-highlight
J'ai téléchargé le diff-highlight
script de Le dépôt de Git 3dbfe2b8
et l'a placé dans mon ~/bin
dossier.
$ where git
C:\Program Files\Git\cmd\git.exe
$ where diff-highlight
C:\Users\andy\bin\diff-highlight
Running git log
donne lieu à l'erreur suivante :
$ git log
Can't open diff-highlight: No such file or directory at C:\Users\andy\bin\diff-highlight line 36.
Segmentation fault
En revanche, la commande suivante fonctionne parfaitement,
$ git log -p --color | diff-highlight | less -FRSX
Cela signifie diff-highlight
est disponible auprès de $PATH
mais la configuration de Git ne le trouve pas.
Ma version de Git est 2.12.0.windows.1
.