[PATCH v3 0/3] Add --gui to mergetool
- From
Denton Liu <liu.denton@gmail.com>
- Date
- Oct 24, 2018, 16:25 UTC
- Message-ID
- <cover.1540398076.git.liu.denton@gmail.com>
- In-Reply-To
- <b0a5d6926c130c0b143435a96ed956b3ed20dad7.1540360514.git.liu.denton@gmail.com>
This adds another patch on top of the existing patchset in order to document the guitool keys for `git config`. This way, the completions script will now be able to complete these key values as well.
Denton Liu (3): mergetool: accept -g/--[no-]gui as arguments completion: support `git mergetool --[no-]gui` doc: document diff/merge.guitool config keys
Documentation/diff-config.txt | 8 ++++++++ Documentation/git-mergetool.txt | 11 +++++++++++ Documentation/merge-config.txt | 6 ++++++ contrib/completion/git-completion.bash | 2 +- git-mergetool--lib.sh | 16 +++++++++++----- git-mergetool.sh | 11 +++++++++-- 6 files changed, 46 insertions(+), 8 deletions(-)
-- 2.19.1.544.ge0b0585a1.dirty