Zulip Chat Archive

Stream: general

Topic: openssl error when running `lake exe cache get`


Miguel Marco (Dec 13 2023 at 12:33):

I am trying to start a lean project in a computing cluster, and I get the following error when running lake exe cache get:

Attempting to download 4014 file(s)
OpenSSL/3.0.8: error:16000069:STORE routines::unregistered scheme
Downloaded: 0 file(s) [attempted 1/4014 = 0%], 1 failedOpenSSL/3.0.8: error:16000069:STORE routines::unregistered scheme
Downloaded: 0 file(s) [attempted 2/4014 = 0%], 2 failedOpenSSL/3.0.8: error:16000069:STORE routines::unregistered scheme
Downloaded: 0 file(s) [attempted 3/4014 = 0%], 3 failedOpenSSL/3.0.8: error:16000069:STORE routines::unregistered scheme
...

Any idea of what could be the problem?

Mario Carneiro (Dec 13 2023 at 12:39):

does it work to call curl directly to download a file?

Mario Carneiro (Dec 13 2023 at 12:40):

e.g.

curl https://lakecache.blob.core.windows.net/mathlib4/f/7d56bc4bb976be8d.ltar --output out.ltar

Mario Carneiro (Dec 13 2023 at 12:42):

also try adding -v and show the error message

Mario Carneiro (Dec 13 2023 at 12:43):

what I get

Miguel Marco (Dec 13 2023 at 14:15):

I get this


Last updated: Dec 20 2023 at 11:08 UTC