coin8086

Use Proxy for Git/GitHub

Generally, the Git proxy configuration depends on the Git Server Protocol you use. And there're two common protocols: SSH and HTTP/HTTPS. Both require a proxy setup already. In the following, I assume a SOCKS5 proxy set up on localhost:1080. But it can also be a HTTP proxy. I'll talk about how to set up a SOCKS5 proxy later.

SSH Protocol

When you do git clone ssh://[user@]server/project.git or git clone [user@]server:project.git, you're using the SSH protocol. You need to configurate your SSH client to use a proxy. Add the following to your SSH config file, say ~/.ssh/config:

ProxyCommand nc -x localhost:1080 %h %p

cdgriffith

# In .bashrc and .profile
# export PYTHONSTARTUP="$HOME/.pythonrc.py"

# pip install python-box reusables pdir2
from __future__ import print_function, with_statement, absolute_import 

try:
    from box import Box, BoxList
except ImportError:
    print("Box not available")