Proxy Configuration

Internet access is required for a number of things when installing and running Salvus. Many corporate networks demand the use of a proxy server.

https_proxy

https://username:[email protected]:8080

Details

Details for the various programs.

• conda: 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.html
• Salvus: Same environment variables as curl.
• Mondaic Downloader: Same environment variables as curl.

Test the settings

An easy way to test the settings is to run for example:

Copy
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.

Setting Environment Variables

You can always check if an environment variable is set by

Copy
echo $variable_name

Temporarily Setting It

Copy
export variable_name=variable_value

Permanently Setting It

• Linux: https://www.serverlab.ca/tutorials/linux/administration-linux/how-to-set-environment-variables-in-linux/
• OSX: https://medium.com/@youngstone89/setting-up-environment-variables-in-mac-os-28e5941c771c