Internet access is required for a number of things when installing and running Salvus. Many corporate networks demand the use of a proxy server.
Details for the various programs.
Mondaicconda: https://docs.anaconda.com/anaconda/user-guide/tasks/proxy/pip: http://leifengblog.net/blog/how-to-use-pip-behind-a-proxy/curl: https://curl.haxx.se/libcurl/c/CURLOPT_PROXY.htmlcurl.curl.An easy way to test the settings is to run for example:
https_proxy=https://username:[email protected]:8080 curl https://example.com
This command will set the https_proxy only for this execution and use curl to download an HTTPS website. If this does not error the environment variable setting should be correct.
You can always check if an environment variable is set by
echo $variable_name
export variable_name=variable_value
