How to Github and Gitorious over HTTP proxy

gistfile1.mkd

You could always use Smart HTTP.

For read-only (git:) urls, install corkscrew.

1. Download git-proxy.sh. Put it somewhere and make it executable.

2. Run git config --global core.gitproxy '/usr/local/bin/git-proxy.sh'

To clone, push, pull over ssh, add the contents of ssh_config to your ~/.ssh/config file.

git-proxy.sh

#!/bin/bash

exec corkscrew 10.10.10.10 8080 $*

proxy_for_pip.md

Error Message:

Missing dependencies for SOCKS support.

Solution:

export all_proxy="https://<proxy>:<port>/"

https://stackoverflow.com/questions/38794015/pythons-requests-missing-dependencies-for-socks-support-when-using-socks5-fro

ssh_config

Host gitorious.org
  Hostname ssh.gitorious.org
  Port 443
  ProxyCommand corkscrew 10.10.10.10 8080 %h %p

Host github.com
  Hostname ssh.github.com
  Port 443
  ProxyCommand corkscrew 10.10.10.10 8080 %h %p