os error 225

Stream: lean4

[Jovan Gerbscheid]

I'm having some trouble with a virus detection in combination with lean. When I use 4.12.0, the lake command doesn't work, and on 4.13-rc1, the lean command doesn't work. they both works on 4.11.0, 4.12-rc1, 4.13-rc2 and 4.13-rc3. I had been using 4.12.0 without issues until now.

$ lean --version
info: downloading component 'lean'
info: installing component 'lean'
error: command failed: 'lean'
info: caused by:
De bewerking is niet voltooid omdat het bestand een virus of mogelijk ongewenste software bevat. (os error 225)

$ lake --version
error: command failed: 'lake'
info: caused by:
De bewerking is niet voltooid omdat het bestand een virus of mogelijk ongewenste software bevat. (os error 225)

The translation of the Dutch text is: Operation did not complete successfully because the file contains a virus or potentially unwanted software

[Julian Berman]

You'll almost certainly have to share what antivirus you're using, and whatever is happening is likely a false positive bug in it, but yeah perhaps if you share it someone may still be able to help.

[Jovan Gerbscheid]

It's microsoft defender antivirus, and windows firewall, which are both built-in in windows. I rember a while ago having some problems with lean in combination with an anti-virus, so I got rid of that one.

[Julian Berman]

It looks like https://support.microsoft.com/en-us/windows/add-an-exclusion-to-windows-security-811816c0-4dfd-af4a-47e4-c301afe13b26 are the instructions for excluding a directory from being searched.

[Jovan Gerbscheid]

Thank you, that fixes it.