In the below listed steps you can replace “172.31.102.29” with the proxy of your choice (based on speed/availability).
set http_proxy=http://edcguest:edcguest@172.31.102.29:3128
set https_proxy=http://edcguest:edcguest@172.31.102.29:3128
Use any one of these and enter appropriate settings in them:
Enter proxy port info in System network settings, only web browsers will work. (not needed if you are using the following script).
and;
Use these scripts. Read the README present at the link.
Run these:
export http_proxy="http://edcguest:edcguest@172.31.102.29:3128"
export https_proxy="http://edcguest:edcguest@172.31.102.29:3128"
export ftp_proxy="http://edcguest:edcguest@172.31.102.29:3128"
export HTTP_PROXY="http://edcguest:edcguest@172.31.102.29:3128"
export HTTPS_PROXY="http://edcguest:edcguest@172.31.102.29:3128"
export FTP_PROXY="http://edcguest:edcguest@172.31.102.29:3128"
(Uppercases ones are optional, sometimes lowercases ones don’t work). Read answers to this Stackoverflow question.
You can also add these 6 lines to your ~/.bashrc
(or ~.zshrc
if using zsh
) or ~/.profile
so that these are exported every time you open a terminal.
Applying Proxy:
npm config set proxy http://edcguest:edcguest@172.31.102.29:3128
npm config set https-proxy http://edcguest:edcguest@172.31.102.29:3128
Removing Proxy:
npm config rm proxy
npm config rm https-proxy
Have a suggestion? Create a GitHub issue or contact CC Coordinators!