Entire Proxy Settings: One Script To Set Them All
GPL-3.0 License
ProxyMaster is now available at https://proxymaster.herokuapp.com
The script in the repository sets/unsets proxy for most frequently used commands in the Ubuntu/Debian system.
You need to have internet (working without proxy) to download the script: use mobile data and hotspot.
http://proxymaster.herokuapp.com
and download the script.Ctrl+Alt+T
sudo apt-get install wget
wget https://github.com/thealphadollar/set_proxy/archive/master.zip
unzip master.zip
cd set_proxy-master/static
sudo bash set_proxy.sh -h [PROXY HOST] -p [PROXY PORT]
proxy host
(172.16.2.30 for KGP) and proxy port
(8080 for KGP).
You can use the same script to remove proxy from your system when going to home. Just run following command in your terminal and restart system.
sudo bash set_proxy.sh -u
Connect to the campus network; wifi or LAN.
www.google.com
in browsersudo apt-get install curl
in the terminal then run curl www.google.com
in the terminalIf all the above steps pass, congratulations!
For any queries, please raise an issue or contact github@thealphadollar.
Please read CONTRIBUTING.md guide to know more.
NOTE: Before sending your script, please do a syntax check via ShellCheck