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.
- Gnome system wide
- Apt Package Installer
- Environment
- Terminal
- Git
- Docker
You need to have internet (working without proxy) to download the script: use mobile data and hotspot.
- Open
http://proxymaster.herokuapp.com
and download the script. - Follow the instructions on the page to set proxy.
- Open terminal by pressing
Ctrl+Alt+T
- Install wget.
sudo apt-get install wget
- Download the repository.
wget https://github.com/thealphadollar/set_proxy/archive/master.zip
- Unzip the file.
unzip master.zip
- Change directory to the inflated archive folder.
cd set_proxy-master/static
- To set the proxy
sudo bash set_proxy.sh -h [PROXY HOST] -p [PROXY PORT]
- Enter
proxy host
(172.16.2.30 for KGP) andproxy port
(8080 for KGP). - Voila, proxy set! Preferably restart the system, or at least restart the terminal session.
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.
- Open
www.google.com
in browser - Install curl by running
sudo apt-get install curl
in the terminal then runcurl www.google.com
in the terminal
If 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