And for your hypothetical client.
Especially as judging by your description they despite this allow any VSCode plugin to be installed alongside it.
> and I am not making my life miserable to work with editors lacking the specific tools
And that’s the self-imposed prison I was talking about, there’s always alternative tools. In my mind a specific tool is something like Ghidra.
Sectors involved in, in no particular order: government, financial, telecom, energy (gas and electric), manufacturing (large european conglomerates), healthcare, logistics
In fact I was the one usually helping IT Teams put the torture devices and policies you’re subjected to in place lol.
Banks would usually give us laptops with smart card readers and only allowed access to their VPN from a limited set of public IP addresses.
Govt was a bit more lax, but same principles applied, was really fun doing any kind of work over a laggy VNC.
My favourite one was probably where you’d have to hop from one Azure cloud VM, to Citrix to a bastion windows box, off of which you’d RDP to the actual work VM only to putty to the actual damn Linux box you cared about.
Energy sector was more lax, they let us set up a GitLab instance and a small CICD setup to which we’d push the code developed on our local boxes.
Oh and the ones I mentioned - they usually ask us what tools we wanted on our boxes as well.
I would rather live in a shopping cart tent under a bridge.
Weak argument. People don't have infinite time. People just want tools they trust and that aren't enshitified.
In fact, VSCode’s support for Lean is via LSP anyways.