diff options
author | Tim Henigan <tim.henigan@gmail.com> | 2012-03-29 09:39:18 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-04-23 12:00:42 -0700 |
commit | bf73fc212a159210398b6d46ed5e9101c650e7db (patch) | |
tree | 9f53002fc3812a60ff11368b17cfbcd6d89b76c3 /Documentation/RelNotes/1.5.4.1.txt | |
parent | difftool: teach difftool to handle directory diffs (diff) | |
download | tgif-bf73fc212a159210398b6d46ed5e9101c650e7db.tar.xz |
difftool: print list of valid tools with '--tool-help'
Since bc7a96a (mergetool--lib: Refactor tools into separate files,
2011-08-18), it is possible to add a new diff tool by creating a simple
script in the '$(git --exec-path)/mergetools' directory. Updating the
difftool help text is still a manual process, and the documentation can
easily go out of sync.
This commit teaches difftool the '--tool-help' option, which:
- Reads the list of valid tools from 'mergetools/*'
- Determines which of them are actually installed
- Determines which are capable of diffing (i.e. not just a merge tool)
- Prints the resulting list for the user
Signed-off-by: Tim Henigan <tim.henigan@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/RelNotes/1.5.4.1.txt')
0 files changed, 0 insertions, 0 deletions