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
How to run
You need to have internet to download the script, use mobile data and hotspot.
- 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
- Launch the script
sudo ./set_proxy.sh
- Enter
proxy host
(172.16.2.30 for KGP) andproxy port
(8080 for KGP) when prompted. - 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 ./set_proxy.sh --unset
Test
Connect to the campus network; wifi or LAN.
- Open
www.google.com
in browser - In terminal
sudo apt-get install curl
- In terminal
curl www.google.com
If all the above steps pass, congratulations!
support
For any queries, please raise an issue or contact github@thealphadollar.