Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Publish this extension to the OpenVSX marketplace #201

Open
andreubotella opened this issue Sep 11, 2020 · 6 comments
Open

Publish this extension to the OpenVSX marketplace #201

andreubotella opened this issue Sep 11, 2020 · 6 comments

Comments

@andreubotella
Copy link

It'd be great to have this extension on the OpenVSX marketplace, to be directly installable from VSCode-compatible editors like Theia or from VSCode clones like VSCodium, since the Visual Studio Code marketplace can arguably only be used by official releases.

#79 already made the VSIX files available on the Github releases, which helps installing them or including them in custom Theia-based editors, but this would make the extension appear on the extensions UI for such editors.

@lucacasonato lucacasonato self-assigned this Sep 11, 2020
@David-Else
Copy link

https://open-vsx.org/extension/denoland/vscode-deno published by open-vsx

The namespace denoland is public, which means that everyone can publish new versions of the “Deno” extension. If you would like to become the owner of denoland, please read this guide.

I don't know the implications of this, but it does seem to be automatically published already.

@andreubotella
Copy link
Author

Huh, for some reason I didn't see the extension when I looked yesterday.

OpenVSX has a way to include highly-requested extensions in the VSCode marketplace, and this extension was apparently added back in June. It does seem to get updated in sync with version bumps on the Github repository. Here's the wiki page for granting ownership.

And feel free to close this issue.

@lucacasonato
Copy link
Member

I would still like to add it manually. I’ll try to get to it next week

@kitsonk kitsonk added the enhancement New feature or request label Jul 19, 2021
@kitsonk
Copy link
Contributor

kitsonk commented Jul 20, 2021

@lucacasonato it looks like you did add it manually, but it is out of date. Any chance we can figure out how to keep it up to date?

@lucacasonato
Copy link
Member

@kitsonk Actually never added it manually. I think it is auto syncing somehow right now.

@PhoneDroid
Copy link
Contributor

@lucacasonato

Since you never got around to adding it manually
and it keeps being in sync automatically, wouldn't
this suggest the issue at hand has become void?

-> Can this issue be closed now?

@bartlomieju bartlomieju added suggestion and removed enhancement New feature or request labels Jul 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

6 participants