git: enable git difftool to use difftastic

This commit is contained in:
colin 2022-10-18 19:46:24 -07:00
parent e11f903aec
commit 10e9daa085

View File

@ -377,8 +377,14 @@ in
userEmail = "colin@uninsane.org";
aliases = { co = "checkout"; };
# TODO: figure out how to get the old `diff` for generating patches
# difftastic.enable = true; # better diff rendering
extraConfig = {
# difftastic docs:
# - <https://difftastic.wilfred.me.uk/git.html>
diff.tool = "difftastic";
difftool.prompt = false;
"difftool \"difftastic\"".cmd = ''${pkgs.difftastic}/bin/difft "$LOCAL" "$REMOTE"'';
# now run `git difftool` to use difftastic git
};
};
neovim = {