Install julia packages on cluster, presumably behind a proxy

General Usage
1

I had no trouble installing Julia on my laptop / office computer etc., but I’m trying to set it up on the front of a cluster, and on a completely fresh download of 1.4.2 (curl https://julialang-s3.julialang.org/bin/linux/x64/1.4/julia-1.4.2-linux-x86_64.tar.gz | tar xfz -) I get

% ./julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.4.2 (2020-05-23)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

(@v1.4) pkg> add MPI
    Cloning default registries into `~/.julia`
    Cloning registry from "https://github.com/JuliaRegistries/General.git"
ERROR: failed to clone from https://github.com/JuliaRegistries/General.git, error: GitError(Code:ERROR, Class:Net, unrecognized URL prefix)

I suspect that there’s a proxy lurking somewhere preventing me from accessing the packages: for example, trying

% wget https://github.com/JuliaRegistries/General.git
--2020-06-11 21:49:11--  https://github.com/JuliaRegistries/General.git
Resolving filter-proxy.xxx.xxx.xx (filter-proxy.xxx.xxx.xx)... 111.77.6.113
Connecting to filter-proxy.xxx.xxx.xx (filter-proxy.xxx.xx.xx)|111.77.6.113|:3127... connected.

However, none of the environment variables settings I tried (HTTP_PROXY, HTTPS_PROXY) worked, nor did ‘git config --global https.proxy’ or ‘git config --global http.proxy’. Note also that ‘git clone GitHub - JuliaRegistries/General: The official registry of general Julia packages’ works fine.

In summary, I’m quite stuck as to how to make Pkg access the repositories.

1 Like