diff options
| author | Jacob Nisnevich <jacob.nisnevich@gmail.com> | 2016-03-25 23:17:56 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-04-04 16:15:00 (GMT) |
| commit | e36d716751d3477694325e1ff2ece33747133a5b (patch) | |
| tree | 9b1952e82d8743fe6df3130afedc47895a40c7a4 /git-mergetool--lib.sh | |
| parent | 56331f8727b0c2e7dc713b728eaf1e5843422cb7 (diff) | |
| download | git-e36d716751d3477694325e1ff2ece33747133a5b.zip git-e36d716751d3477694325e1ff2ece33747133a5b.tar.gz git-e36d716751d3477694325e1ff2ece33747133a5b.tar.bz2 | |
mergetools: create mergetool_find_win32_cmd() helper function for winmerge
Signed-off-by: Jacob Nisnevich <jacob.nisnevich@gmail.com>
Acked-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-mergetool--lib.sh')
| -rw-r--r-- | git-mergetool--lib.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/git-mergetool--lib.sh b/git-mergetool--lib.sh index 54ac8e4..302c56d 100644 --- a/git-mergetool--lib.sh +++ b/git-mergetool--lib.sh @@ -372,3 +372,28 @@ get_merge_tool () { fi echo "$merge_tool" } + +mergetool_find_win32_cmd () { + executable=$1 + sub_directory=$2 + + # Use $executable if it exists in $PATH + if type -p "$executable" >/dev/null 2>&1 + then + printf '%s' "$executable" + return + fi + + # Look for executable in the typical locations + for directory in $(env | grep -Ei '^PROGRAM(FILES(\(X86\))?|W6432)=' | + cut -d '=' -f 2- | sort -u) + do + if test -n "$directory" && test -x "$directory/$sub_directory/$executable" + then + printf '%s' "$directory/$sub_directory/$executable" + return + fi + done + + printf '%s' "$executable" +} |