external command `curl` exited with code 35

Stream: general

[jatloe]

When I try to
lake +leanprover/lean4:nightly-2023-02-04 new my_project math
I get the below output:

info: downloading component 'lean'
180.8 MiB / 180.8 MiB (100 %)  20.3 MiB/s ETA:   0 s
info: installing component 'lean'
info: Downloading lean-toolchain
error: > curl -s -f -o my_project\lean-toolchain -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain
error: external command `curl` exited with code 35

I don't really know what this means. What should I do?

[Eric Wieser]

I think this is in the documentation somewhere; I think this indicates your antivirus is interfering

[Ruben Van de Velde]

It tried to use curl to download something but failed. Try running that command directly?