proxy stuff

set up proxy for different tools

Git

1	$ git config --global http.proxy 'socks5://127.0.0.1:7890'

Windows cmd

1 2	cmd> set http_proxy=socks5://127.0.0.1:10808 cmd> set https_proxy=socks5://127.0.0.1:10808

pip use socks5

1	$ pip install PySocks

documentation

config file

shell

1	export https_proxy=http://127.0.0.1:7890 http_proxy=http://127.0.0.1:7890 all_proxy=socks5://127.0.0.1:7890

apt

1 2	$ sudo touch /etc/apt/apt.conf.d/proxy.conf $ sudo vi /etc/apt/apt.conf.d/proxy.conf

1
2
3

// source of sudo /etc/apt/apt.conf.d/proxy.conf
Acquire::http::Proxy "http://user:password@proxy.server:port/";
Acquire::https::Proxy "http://user:password@proxy.server:port/";