Advertisement
Guest User

Untitled

a guest
Jul 28th, 2015
214
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.18 KB | None | 0 0
  1. #!/bin/sh
  2. if [ -n "$GIT_SSH" ]; then
  3. echo ssh $GIT_SSH_OPT $* 1>&2
  4. ssh $GIT_SSH_OPT $*
  5. else
  6. export GIT_SSH_OPT="-i $1"
  7. export GIT_SSH=$0
  8. shift
  9. echo git "$*"
  10. exec git $*
  11. fi
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement