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