Web Proxy
Why is Proxy needed?
If the server is in a private network and no proxy is configured, some features, such as installing Python and Git during SDK installation and installing new extensions through the Code-Server GUI, may not work.
How to set or unset Proxy?
Set Proxy:
export http_proxy=<proxy>
export https_proxy=<proxy>
Unset Proxy:
unset http_proxy
unset https_proxy