set_proxy
set_proxy copied to clipboard
Entire Proxy Settings: One Script To Set Them All
WEBAPP
ProxyMaster is now available at https://proxymaster.herokuapp.com
LINUX Proxy
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
How to run
You need to have internet (working without proxy) to download the script: use mobile data and hotspot.
Using Browser
- Open
http://proxymaster.herokuapp.com
and download the script. - Follow the instructions on the page to set proxy.
Using Terminal Only
- 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.
Going Home?
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
Test
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!
support
For any queries, please raise an issue or contact github@thealphadollar.
Contributing
Please read CONTRIBUTING.md guide to know more.
NOTE: Before sending your script, please do a syntax check via ShellCheck