leanprover / elan

The Lean version manager
Apache License 2.0
292 stars 34 forks source link

ELAN fails to connect through proxy due to SSL certificate issue #131

Open Purewhite2019 opened 1 month ago

Purewhite2019 commented 1 month ago

Hi, I'm setting up ELAN in an isolated environment where a proxy is required to access the external internet. When using the proxy, ELAN encounters the following error:

thread 'main' panicked at src/elan-utils/src/utils.rs:472:32:
called `Result::unwrap()` on an `Err` value: Error { description: "SSL peer certificate or SSH remote key was not OK", code: 60, extra: Some("SSL certificate problem: self signed certificate in certificate chain") }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Other software like curl and git work normally in this environment when SSL verification is disabled. Is there a similar option for ELAN to bypass SSL verification or handle self-signed certificates in the proxy chain?

Environment details:

Any guidance on resolving this issue would be greatly appreciated.