Problem cloning registry in 1.3.1

General Usage
1

I am on Ubuntu 19.10 and using official Julia 1.3.1 binary tarballs. The problem is:

(v1.3) pkg> add IJulia
   Cloning default registries into `~/.julia`
   Cloning registry from "https://github.com/JuliaRegistries/General.git"
ERROR: Git repository not found at 'https://github.com/JuliaRegistries/General.git'

(v1.3) pkg>

I am trying to do this from a clean install, that is after I do

pjabardo@vazao103:~$ rm -rf .julia
pjabardo@vazao103:~$ julia

I am almost certain that this is related to proxy configurations (which requires passord - workplace) but I don’t have any issues when trying the same thing (after erasing the .julia folder) on Julia versions 1.0, 1.1 and 1.2.

Thanks in advance for any suggestion

2

You could try the different workarounds in https://github.com/JuliaLang/julia/issues/33111 but not sure they will work.

3

After looking around, I found out that the proxy address should have a trailing '/'. In the .gitconfig file, under the [http] section, the proxy variable should be something like

proxy = http://user:passwd@proxy.addr:port/

Notice the trailing /

1 Like
4

this really help, thanks alot!