Posit · @Posit
1522 followers · 108 posts · Server fosstodon.org

We’re joining the @EclipseFdn’s new Working Group to support the development, management and growth of the Open VSX Registry.

Read the press release to learn more about this collaboration: newsroom.eclipse.org/news/anno

#OpenVSX #opensource #developertools

Last updated 1 year ago

Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.fr

@TimSueberkrueb, oh, it looks like I was rather wrong! There is support for Agda in VSCodium:

open-vsx.org/extension/banacor

Amazing! I will give it a try for sure.

#freesoftware #OpenVSX #vscodium #agda

Last updated 4 years ago

Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.fr

@TimSueberkrueb, is it a free software extension that is in Microsoft's store, but not in ? Any extension in particular?

Maybe this documentation would be of help to you: github.com/VSCodium/vscodium/b

#vscodium #OpenVSX

Last updated 4 years ago

Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.fr

To install a language extension for (including Haskell's language server protocol implementation called Haskell Language Server):

codium --install-extension haskell.haskell

It finally looks like there is a Haskell IDE I can recommend to others! (I just have to turn a blind eye to the fact it is implemented in .)

#OpenVSX #vscodium #lsp #javascript #haskell

Last updated 4 years ago

Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.fr

I didn't realize there is a binary distribution of VSCode named !

vscodium.com/

Hence there is no need to use proprietary VSCode or Atom for that matter. Unlike VSCode, VSCodium does not track you and report on your editor usage to the headquarters in Redmond. To make things even better, it comes with its own extension repository hosting only free software extensions:

open-vsx.org/

#OpenVSX #vscodium #freesoftware

Last updated 4 years ago

· @dr0i
141 followers · 651 posts · Server openbiblio.social

@acka47 "The board may soon allow all "standard" open-source licensed extensions onto ." Glad they come to reason. github.com/open-vsx/publish-ex

#OpenVSX #eclipse

Last updated 4 years ago