Re: [PATCH 2/3] mergetool-lib: keep a list of cross desktop merge tools
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Aug 5, 2020, 21:08 UTC
- Message-ID
- <CAPig+cRX3_ArTYQwc1jWHznBxLf+j0McYSo=nPq4C319J=DBvg@mail.gmail.com>
- In-Reply-To
- <fc0d2b103ec080fa38e5d51bf2205b7360c1b601.1596634463.git.gitgitgadget@gmail.com>
On Wed, Aug 5, 2020 at 3:53 PM Marco Trevisan (Treviño) via GitGitGadget <gitgitgadget@gmail.com> wrote:
Show 18 quoted lines
> Instead of repeating the same tools multiple times, let's just keep them
> in another variable and list them depending the current desktop
>
> Signed-off-by: Marco Trevisan (Treviño) <mail@3v1n0.net>
> ---
> diff --git a/git-mergetool--lib.sh b/git-mergetool--lib.sh
> @@ -288,11 +288,12 @@ list_merge_tool_candidates () {
> if test -n "$DISPLAY"
> then
> + cross_desktop_tools="opendiff kdiff3 tkdiff xxdiff"
> if is_desktop "GNOME"
> then
> - tools="meld opendiff kdiff3 tkdiff xxdiff $tools"
> + tools="meld $cross_desktop_tools $tools"
> else
> - tools="opendiff kdiff3 tkdiff xxdiff meld $tools"
> + tools="$cross_desktop_tools meld $tools"
> fiI have mixed feelings about this change. On the one hand, I see the reason for doing it if the list of tools remains substantially the same in each case, but it also seems like it could become a burden, possibly requiring factoring the list into more pieces, as new platforms or tools are added.
What I might find more compelling is creation of a table of tools and the platforms for which they are suitable. It doesn't seem like it would be too difficult to express such a table in shell and to extract the desired rows (but that might be overkill). At any rate, I'm rather "meh" on this change, though I don't oppose it strongly.