https://username:[email protected]:8080should work for everything.
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.
An easy way to test the settings is to run for example:
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