diff options
Diffstat (limited to 'testing/mozharness/external_tools/git-ssh-wrapper.sh')
| -rwxr-xr-x | testing/mozharness/external_tools/git-ssh-wrapper.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testing/mozharness/external_tools/git-ssh-wrapper.sh b/testing/mozharness/external_tools/git-ssh-wrapper.sh new file mode 100755 index 000000000..86ea37088 --- /dev/null +++ b/testing/mozharness/external_tools/git-ssh-wrapper.sh @@ -0,0 +1,12 @@ +#!/bin/sh +# From http://www.reddit.com/r/git/comments/hdn1a/howto_using_the_git_ssh_variable_for_private_keys/ + +# In the example, this was +# if [ -e "$GIT_SSH_KEY" ]; then +# However, that broke on tilde expansion. +# Let's just assume if GIT_SSH_KEY is set, we want to use it. +if [ "x$GIT_SSH_KEY" != "x" ]; then + exec ssh -o IdentityFile="$GIT_SSH_KEY" -o ServerAliveInterval=600 "$@" +else + exec ssh -o ServerAliveInterval=600 "$@" +fi |