Markus Alexander Kuppe
Markus Alexander Kuppe
I've created a new VSCode marketplace publisher that's "owned" by the TLA+ Foundation: https://marketplace.visualstudio.com/items?itemName=tlaplus.vscode-ide @kape1395 @FedericoPonzi Please share your Microsoft account to be added as owners of the marketplace publisher.
* [ ] [Deprecate old extensions](https://code.visualstudio.com/api/working-with-extensions/publishing-extension#deprecating-extensions): https://github.com/microsoft/vscode-discussions/discussions/1 Requested: https://github.com/microsoft/vscode-discussions/discussions/1#discussioncomment-10364766 * [x] Consider renaming `tlaplus-lang` publisher name to `tlaplus` ([once ADO `tlaplus` name is freed](https://portal.microsofticm.com/imp/v5/incidents/details/533412479/summary)) ## Important links * https://marketplace.visualstudio.com/manage/publishers/tlaplus *...
> @lemmy, my account Karolis Petrauskas ([[email protected]](mailto:[email protected])) User Id : 336ed76d-ac43-6c31-9b7e-079e407795b1 You have been added as an owner of the extension at https://marketplace.visualstudio.com/manage/publishers/tlaplus. You and I are able to add...
> I noticed that VSCode complains about the extension ID: > >  This seems to be a problem with the status badge that I haven't been able to figure...
@afonsonf What's your vscode marketplace id?
Old extensions have been deprecated:
I fixed the broken link and added a new link to https://github.com/tlaplus/tlaplus/blob/master/general/docs/current-tools.md#command-line-options. This current-tools.md document covers various aspects, including the `-workers` option. However, I'm a bit hesitant to add performance...
> I spent considerable time figuring out how to use all RAM and CPUs available on my machine which was unexpected. TLC should automatically scale-up to all resources if it...
The second module header nested within doesn't even get highlighted accurately. I assume that it has never been correctly highlighted. AFAIK syntax highlighting is based on regex and I imagine...
Regrettably, our resources for release engineering are limited at the moment. Therefore, I recommend relying on the nightly builds for the time being.