info and warnings as errors, in VSCode?

Stream: general

[Kim Morrison]

Can anyone think of a simple mechanism to convert all info and warning messages in VSCode into errors?

[Eric Wieser]

A linter that rewrites the message log?

[Damiano Testa]

Like docs#Lean.warningAsError, but also for info?

[Alok Singh]

Why info as error too?

[Kim Morrison]

Cursor agent currently reads error messages just fine, but can't see warnings or infos.

[Kim Morrison]

I'm not sure about Copilot, I'd be curious if someone wanted to check.

[Alok Singh]

Kim Morrison said:

Cursor agent currently reads error messages just fine, but can't see warnings or infos.

after my own heart =). i was wondering if this was the motive

[Alok Singh]

also though idk what a motive is, i've heard that word so many times in zulip now