A proxy configuration file that solves the purpose of switching the proxies while travelling to KGP (proxy) and Home (without proxy), with a SINGLE COMMAND.
- Set
http_proxy
andhttps_proxy
variables - Set
git config --global
http.proxy
andhttps.proxy
variables - Change
~/.ssh/config
to include Corkscrew
-
Be sure to setup your
~/.ssh/config.kgp
and~/.ssh/config.home
files with the same names (config.kgp
andconfig.home
). For example, my files look like ssh_config_home and ssh_config_kgp. -
No need to clone the entire repository. Just get the
proxy.sh
file by typing this in your terminal -
$ curl -o ~/.proxyrc https://raw.githubusercontent.com/athityakumar/proxyrc/master/proxy.sh
- Add this to your shell configuration file (
~/.bashrc
,.zshrc
) -
proxy() { sh ~/.proxyrc $1; }
If you use fish, you can get the function proxy.fish
file by a simple curl command:
$ curl -o ~/.config/fish/functions/proxy.fish https://raw.githubusercontent.com/athityakumar/proxyrc/master/proxy.fish
- Switch to KGP environment -
$ proxy kgp
Switching to KGP Proxy setting, http://172.16.2.30:8080/
- Switch to home envrionment (default) -
$ proxy
Home, sweet home! No proxy settings.
$ proxy home
Home, sweet home! No proxy settings.
The proxy.sh
file is quite straight forward. In case of more proxies, add more if-else cases. If there's a change that applies to KGP population, feel free to send a Pull Request here.
MIT LICENSE 2017 - Athitya Kumar