Stream: coq-lsp

Topic: ✔ Publish the VSCode extension in the Open VSX registry


view this post on Zulip Yann Leray (Nov 21 2022 at 04:16):

I'm interested in trying this, but VSCodium doesn't have access to Microsoft's extension registry (for legal reasons); can you publish it to the Open VSX registry as well. I think they have tools to make the process easy and I know both VSCoq and OCaml Platform are there, so hopefully someone knowledgeable can help with that.
Thank you very much

view this post on Zulip Emilio Jesús Gallego Arias (Nov 21 2022 at 10:24):

Hi @Yann Leray , of course, thanks for your interest and hints, I was not aware of the Open VSX registry, I will publish it next week. Meanwhile, you can try installing from source as explained in the readme, it is very easy (just symlink)

view this post on Zulip Emilio Jesús Gallego Arias (Dec 13 2022 at 19:40):

Hi @Yann Leray , the extension is now at https://open-vsx.org/extension/ejgallego/coq-lsp

view this post on Zulip Emilio Jesús Gallego Arias (Dec 13 2022 at 19:40):

sorry for the wait

view this post on Zulip Yann Leray (Dec 13 2022 at 19:45):

Thanks

view this post on Zulip Notification Bot (Dec 27 2022 at 02:21):

Emilio Jesús Gallego Arias has marked this topic as resolved.


Last updated: Mar 29 2024 at 07:01 UTC