I am trying to install Julia on a linux box which is behind proxy. The installation of julia is quite easy, but the installation of modules is very exhausting.
- I tried setting up https_proxy - Failed
-
- sslVerify: false on git level - Failed
-
- JULIA_SSL_NO_VERIFY and other variables like these - Failed.
-
- .curlrc file with insecure in it - Failed.
-
- searched for documentations about the libgit2 and not really helpful documents are available for this on the official page or on the internet.
julia> versioninfo()
Julia Version 1.6.2
Platform Info:
OS: Linux (x86_64-pc-linux-gnu)
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-11.0.1 (ORCJIT, haswell)
Environment:
JULIA_DEPOT_PATH = /opt/soft/julia/v1.6.2/julia_home:~/.julia
1st Error Message:
Error: (v1.6) pkg> add IJulia
Installing known registries into `~/.julia`
┌ Warning: could not download
└ @ Pkg.Types //pkg.julialang.org/registries /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/Pkg/src/Types.jl:997
┌ Warning: could not download //pkg.julialang.org/registries
└ @ Pkg.Types /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/Pkg/src/Types.jl:997
Cloning registry from "//github.com/JuliaRegistries/General.git" ERROR: failed to clone from //github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:SSL, SSL error: 0xffff8e00 - SSL - An invalid SSL record was received)
2nd Error Message:
Changed the https_proxy to http:// from https://
Cloning registry from "[github.com/JuliaRegistries/General.git](//github.com/JuliaRegistries/General.git)" ERROR: failed to clone from [github.com/JuliaRegistries/General.git](//github.com/JuliaRegistries/General.git), error: GitError(Code:ERROR, Class:SSL, SSL error: 0xffffda9e - X509 - The extensi on tag or value is invalid : ASN1 - ASN1 tag was of an unexpected value)
I cannot proceed further with Julia because of this error on linux box. Please help me on this.