Note: git difftool
mardi 12 septembre 2017 à 15:46sudo 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