https://en.wikipedia.org/wiki/Pip_(package_manager) http://www.pip-installer.org → https://pip.pypa.io https://pip.pypa.io/en/stable/reference/pip/?highlight=proxy#cmdoption–proxy — pip and how to specify an HTTP proxy to go through http://stackoverflow.com/questions/14149422/using-pip-behind-a-proxy — various ways … — also describes the use of %USERPROFILEpippip.ini and $HOME/.pip/pip.conf On my PC at work there are quite a few different Python installations, so which pip belongs to which Python installation? I guess calling pip like this will… Continue reading pip, the Python package manager
https://en.wikibooks.org/wiki/OpenSSH/Cookbook/Proxies_and_Jump_Hosts#Tunneling_SSH_Over_Tor_with_Netcat – this is THE ARTICLE — replace “Tor” in the example with your corporate SOCKS proxy http://superuser.com/questions/454210/how-can-i-use-ssh-with-a-socks-5-proxy http://linux.die.net/man/1/nc — a netcat manual page My $HOME/.ssh/config looks like this: # making use of “netcat” AKA “nc” — http://linux.die.net/man/1/nc # Host SOME_HOST_OUT_THERE User REMOTE_USER ProxyCommand /usr/bin/nc -X 5 -x SOCKS_PROXY_HOST:SOCKS_PROXY_PORT %h %p “As always” I connect to SOME_HOST_OUT_THERE like… Continue reading ssh to “beyond the corporate firewall” through a SOCKS proxy
https://en.wikipedia.org/wiki/Netcat https://en.wikipedia.org/wiki/SOCKS https://en.wikipedia.org/wiki/Git_(software) This only works, if your proxy also supports SOCKS. netcat’s specific options: -x : specify proxy address and port -X : proxy protocol: …, “5” (SOCKS), … This approach should also work for a few more applications.