difftastic/manual
Wilfred Hughes 393845ddcb Change recommended git configuration
`git-difftool` has strictly less information than `git-diff`.
`git-difftool` therefore produces worse results, and we shouldn't
recommend it.

`git-difftool` does not have file rename information, and sometimes
makes difftastic claim that file permissions have changed (depending
on the permissions of the temporary directory used).

Instead, recommend `git-diff` with an external diff configured, and
update `git-mergetool` instructions to emulate `git-diff` as much as
possible (respecting $MERGED).

Also link to the upstream git bug on segfaults with external diff
tools.

Thanks to @poliorcetics and @gthb for researching this bug and
discussing possible solutions.

Closes #734
Fixes #620
2024-09-22 20:11:36 +07:00
..
src Change recommended git configuration 2024-09-22 20:11:36 +07:00
theme Add favicon for manual 2024-04-07 15:54:29 +07:00
.gitignore Use 'manual' terminology consistently 2021-09-08 23:15:32 +07:00
book.toml Bump GitHub action workflows to their latest versions 2024-09-11 21:22:59 +07:00
replace_version_placeholder.sh Include cargo version in the generated manual 2022-04-21 00:31:06 +07:00