Adds the wits proxy to your current environment. NOTE: It sets the git proxy globally, which means it gets saved. If you are not using this on a personal pc, I'd recommend removing the proxy when done, using this script.
# u is for user. You can use g:group o:others a:all
chmod u+x script.sh #Replace script.sh with the script.
source setproxy.sh
Select 1 or 2. Use your student number and CNS password.
./wgetproxy.sh