Skip to content

Instantly share code, notes, and snippets.

@giuseppebarba
Created June 25, 2014 08:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save giuseppebarba/7eeb3cc037e80c437599 to your computer and use it in GitHub Desktop.
Save giuseppebarba/7eeb3cc037e80c437599 to your computer and use it in GitHub Desktop.
git proxy
create an executable script /usr/bin/gitproxy.sh:
#!/bin/sh
proxy="proxy.company.com"
user="user name"
pass="password"
proxyport=8080
proxytunnel -p $proxy:$proxyport -d $1:$2 -P $user:$pass
Then tell git to use this script:
git config --global core.gitproxy gitproxy.sh
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment