Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- if [ -n "$GIT_SSH" ]; then
- echo ssh $GIT_SSH_OPT $* 1>&2
- ssh $GIT_SSH_OPT $*
- else
- export GIT_SSH_OPT="-i $1"
- export GIT_SSH=$0
- shift
- echo git "$*"
- exec git $*
- fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement