Skip to content

Instantly share code, notes, and snippets.

Avatar
:shipit:
Learning

Jaydeep Das JDeepD

:shipit:
Learning
View GitHub Profile
View using-proxy-for-git-or-github.md

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
cdgriffith / .pythonrc.py
Last active Nov 21, 2020
Python RC file
View .pythonrc.py
# 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")