[GoLUG] PSA for VSCode: SSH plugin lets the remote end run arbitrary local commands

[Steve Litt]

Hendrik Boom said on Sun, 27 Sep 2026 17:38:51 -0400

>For a while now I've been wanting to try out LEAN, the tool that
>makes it feasible to write and check forma mathematical proofs.
>
>The LEAN documetation tells me to start by installing VScode.

That's disgusting, but typical of today's world.

I smell the stench of monopolism all over that requirement.

SteveT

Steve Litt 

http://444domains.com