index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
author | Levente Polyak <anthraxx@archlinux.org> | 2023-09-26 22:09:41 +0200 |
---|---|---|
committer | Christian Heusel <christian@heusel.eu> | 2023-09-26 22:44:58 +0200 |
commit | f632659563acb7b8d481fdff9acd8305acf29b98 (patch) | |
tree | c10468b8b97ad6745d9e815a9d93f65dcb123d6a /src/lib/util | |
parent | 7e41adf00bb93cf6e016b9a7cd8ebdc693666077 (diff) |
-rw-r--r-- | src/lib/util/git.sh | 10 |
diff --git a/src/lib/util/git.sh b/src/lib/util/git.sh index c4af662..82e4beb 100644 --- a/src/lib/util/git.sh +++ b/src/lib/util/git.sh @@ -7,6 +7,9 @@ DEVTOOLS_INCLUDE_UTIL_GIT_SH=1 _DEVTOOLS_LIBRARY_DIR=${_DEVTOOLS_LIBRARY_DIR:-@pkgdatadir@} +# shellcheck source=src/lib/common.sh +source "${_DEVTOOLS_LIBRARY_DIR}"/lib/common.sh + git_diff_tree() { local commit=$1 @@ -22,3 +25,10 @@ git_diff_tree() { "${commit}" \ -- "${path}" } + +git_warmup_ssh_connection() { + msg 'Establishing ssh connection to git@%s' "${GITLAB_HOST}" + if ! ssh -T "git@${GITLAB_HOST}" >/dev/null; then + die 'Failed to establish ssh connection to git@%s' "${GITLAB_HOST}" + fi +} |