blob: 86ea370889551f805db1fd26a53bf1455bde6692 (
plain)
1
2
3
4
5
6
7
8
9
10
11
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
|
