Note: git difftool
2017-09-12T15:46:04+02:00sudo apt install meld
git difftool --tool=meld
echo "
[diff]
tool = meld
" >> ~/.gitconfig
git difftool <un_fichier_versionné>
— Permalink
git difftool --tool=meld
echo "
[diff]
tool = meld
" >> ~/.gitconfig
git difftool <un_fichier_versionné>
— Permalink