diff options
| author | Tim Henigan <tim.henigan@gmail.com> | 2012-03-29 15:39:18 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-04-23 21:00:42 +0200 |
| commit | bf73fc212a159210398b6d46ed5e9101c650e7db (patch) | |
| tree | 9f53002fc3812a60ff11368b17cfbcd6d89b76c3 /pager.c | |
| parent | difftool: teach difftool to handle directory diffs (diff) | |
| download | git-bf73fc212a159210398b6d46ed5e9101c650e7db.tar.xz git-bf73fc212a159210398b6d46ed5e9101c650e7db.zip | |
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 'pager.c')
0 files changed, 0 insertions, 0 deletions