Pkg Manager Issues due to VPN/Windows 11?

General Usage
1

I use julia on a work computer and I don’t recall this being an issue in the past.

Anytime I try to install or update packages, it pops up a message that looks something like this:

(@v1.11) pkg> registry up General
    Updating registry at `C:\Users\cmiller\.julia\registries\General`
┌ Info: The General registry is installed via git. Consider reinstalling it via
│ the newer faster direct from tarball format by running:
│   pkg> registry rm General; registry add General
└

It ends up still working, but it goes through git rather than the normal way. It takes much longer, and colleagues that don’t have git aren’t able to install anything (I only tried with one colleague and pkgs weren’t installing. I assume it was because he doesn’t have git).

I submitted an issue to IT, because I assume its due to SSL certification. Running this produces the following error:

> curl -L https://pkg.julialang.org/registries
curl: (35) schannel: next InitializeSecurityContext failed: CRYPT_E_NO_REVOCATION_CHECK (0x80092012) - The revocation function was unable to check revocation for the certificate.

IT responded with:
This issue also comes up with installing packages through pip in Python and with R. Instead of changing a network policy to allow access to the CRL/OSCP, there is usually a workaround to ignore SSL verification when installing packages. I know with Python/pip this is done using the “–trusted-host” flag at the end of an install command. Do you know if Julia has something similar?

Note that this should only be used for packages and sources that you know you can trust.

Does julia have an option like this?

2

See Network Options · The Julia Language.

3

I had looked into network options but I was not really following how to use it. I imagine I would add something to my startup.jl file?

4

I think it refer to putting

export JULIA_NO_VERIFY_HOSTS='**'

in your (.bash_profile or, rather, ) .bashrc

( not in your startup.jl)

HTH,

5

So if I did this on Windows:

image
image306×122 2.08 KB

Is that equivalent to the .bash_profile

I still get an error (but maybe it is different now?):

(@v1.11) pkg> registry up General
┌ Warning: could not download https://pkg.julialang.org/registries
│   exception = RequestError: Failure when receiving data from the peer while requesting https://pkg.julialang.org/registries
└ @ Pkg.Registry C:\Users\cmiller\.julia\juliaup\julia-1.11.6+0.x64.w64.mingw32\share\julia\stdlib\v1.11\Pkg\src\Registry\Registry.jl:77
    Updating registry at `C:\Users\cmiller\.julia\registries\General`
┌ Info: The General registry is installed via git. Consider reinstalling it via
│ the newer faster direct from tarball format by running:
│   pkg> registry rm General; registry add General
└
    Updating git-repo `https://github.com/JuliaRegistries/General.git`
6

My bad : I reacted to the network issue statement, and did give you the trick to walk around SSL certificates trouble.

Here your issue is that you have the git-cloned version of the General registry installed. The message suggests you to go to the tar- based one, which is much,much faster on Windows (and also faster in Linux).

In order to do so you must uninstall the prior (git-based) version of General, and then install a fresh version of it, which will be tar-based.

So it means that you have to go through the following steps (don’t type shell’s user@host: or julia’s julia> or pkg> prompts)

user@host: julia -q
julia>]
pkg>registry rm General
pkg>registry add General
# now you can update you project
pkg>up

HTH,

7

Unfortunately it is still not working:

(@v1.11) pkg> registry rm General
    Removing registry `General` from C:\Users\cmiller\.julia\registries\General

(@v1.11) pkg> registry add General
┌ Warning: could not download https://pkg.julialang.org/registries
│   exception = RequestError: Failure when receiving data from the peer while requesting https://pkg.julialang.org/registries
└ @ Pkg.Registry C:\Users\cmiller\.julia\juliaup\julia-1.11.6+0.x64.w64.mingw32\share\julia\stdlib\v1.11\Pkg\src\Registry\Registry.jl:77
     Cloning registry from "https://github.com/JuliaRegistries/General.git"
       Added registry `General` to `C:\Users\cmiller\.julia\registries\General`
8

Possibly it is a network failure beacause of a (corporate?) firewall. Here it seems Julia could not reach pkg.julialang.org (or at least communication was shut done during transfer).

May be a Julia system administrator could help you to do a further debugging, or you could discuss it with own IT administrator.

For the record, at https://julialang.org/install/ the Domains item says :

Official domains

The following domains are official and used by open source Julia infrastructure for serving content and resources:

  • julialang.org and all subdomains
  • julialang.net and all subdomains

If you are using Julia behind a firewall that blocks access to these, you may have trouble downloading and installing Julia packages. If this is the case, please ask your sysadmin to add these domains to the firewall allow list. Traffic can be limited to HTTPS (TCP port 443).

9

I had the same problem a while ago. My solution is here: