Good morning, I easily managed to use Pkg.add through a very strict proxy/firewall in a corporate environment. It is not trivial since everything that is not internet explorer fails in authentication despite any manual setting of address, password, port.
I changed three options in etc github configuration file (in GIT directory) as suggested in many threads. Unfortunately there are some weird issues with some packages: 1) WinRPM: I have to remove https://xxxxxyyyy.com/http:/opensuse... and substitute with just http://opensuse... in the file cointaning the sources. After doing this julia succeeds in accessing the remote dlls. 2) some packages that at build stage try to download dlls from some website, fail in doing it. Actually this is very easy too: it is sufficient to copy the url from build.jl into a browser, and move the zip/tgz into package download subdirectory and rerun Pkg.build I suspect that there is an easier workaround for both issues (indeed the packages requiring this are few). Any suggestion? PS R and Rstudio (probably because many users are in corporate environment) have an authomatic flag (internet2 option) that with no effort uses internet explorer APIs to exit to the web.
