Merge "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" on Marketplace

[lemmy]

The released version of this extension, found at alygin.vscode-tlaplus, is severely outdated (last update was in 2021). I suggest to replace the released version with the "nightly build" version, available at alygin.vscode-tlaplus-nightly. In other words, I propose to discontinue the "released" version of the extension and instead, updating the main "alygin.vscode-tlaplus" extension with the content from "alygin.vscode-tlaplus-nightly". This will ensure that users have access to the most recent version of the extension. It also addresses the issue that users can install both the "released" and "nightly" versions concurrently, and run into issues due to conflicts between the two versions. By merging them into one, this problem would be resolved.

Thoughts? @kape1395 @afonsonf @alygin @klinvill @all...

[kape1395]

I agree with this. Also, if the releasing process changes, can we avoid releases if no new commits are on the main branch? Currently, each day, I get notifications on the new TLA+ extension version installed. For some time, it sounded to me like a bug.

[lemmy]

I agree with this. Also, if the releasing process changes, can we avoid releases if no new commits are on the main branch? Currently, each day, I get notifications on the new TLA+ extension version installed. For some time, it sounded to me like a bug.

I'm also annoyed by those information-free notifications. If we agree to merge "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly", release nightly no longer needs to be [scheduled]https://github.com/tlaplus/vscode-tlaplus/blob/0b39653426ddb8511c77b0b67aa0bc090bfe2208/.github/workflows/release-nightly.yml#L4C1-L6C1) but can be triggered by repo-local changes and dispatches from tlaplus/tlaplus.

[lemmy]

FWIW: Latex Workshop raises a warning in VSCode when incompatible extensions are installed.

[lemmy]

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.

[lemmy]

• [ ] Deprecate old 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)

Important links

• https://marketplace.visualstudio.com/manage/publishers/tlaplus
• https://dev.azure.com/tlaplus
• https://marketplace.visualstudio.com/items?itemName=tlaplus.vscode-ide

[kape1395]

@lemmy, my account Karolis Petrauskas ([email protected]) User Id : 336ed76d-ac43-6c31-9b7e-079e407795b1

[kape1395]

I noticed that VSCode complains about the extension ID:

[lemmy]

@lemmy, my account Karolis Petrauskas ([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 additional users.

[lemmy]

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 out. We could just remove the badge from Readme.md.

Done: https://github.com/tlaplus/vscode-tlaplus/commit/0cce9acbb8f328e641f5200544437e2b76702cc5

[lemmy]

@afonsonf What's your vscode marketplace id?

[afonsonf]

@afonsonf What's your vscode marketplace id?

Hi, my id is 35e6c390-a822-6fb6-8871-861e28fbe73f

[lemmy]

Old extensions have been deprecated: