Asher
I tried in GitHub Codespaces (although I had to use `time.sleep` instead, seems like there is an issue with threading in Python 3.12) and with vanilla VS Code web (the...
VS Code switched to npm?? Great news. I will try to get to this today.
Was not able to get back to this last week but am aiming to get it sorted today or maybe tomorrow.
The entrypoint having been rewritten in ESM is making things really difficult, I started converting us to ESM but it is a nightmare. Think tomorrow I am going to break...
So, I got most of that done last night but, as you guessed it is getting pretty complicated. I still think it is probably the right move long-term but for...
Actually I can just copy the old `server-main.js` from an older commit, I think, before it was converted to ESM.
Sorry for the delay, I was out last week. Thank you for opening that upstream! Hmm that extension installation issue sounds like a release blocker.
We should test with Codespaces (and make sure the resources are similar) because it sounds like an upstream issue to me.
No, we still need someone to test Codespaces.
Could you expand on your suggestion? What is it that we should automatically delete? Or is this a bug report that files are being deleted?