this post was submitted on 01 Oct 2023
117 points (90.3% liked)

Programming

17511 readers
80 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]



founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (3 children)

You can download any visual studio code extension from the visual studio extensions marketplace as far as my experience goes. There's a "download extension" link for every extension which will give you a *.vsix file. Only pity is that you won't get any automatic updates for the extension.

8 just took a look and the VS marketplace website on my mobile and look at what I have found under the "resources" section! This is same for every extension.

[–] [email protected] 7 points 1 year ago (1 children)

Unfortunately, it's not that simple. The Remote* extensions rely on the (proprietary) VSCode server, and nobody has managed to hack it to work with e.g. Codium.

[–] [email protected] 4 points 1 year ago

Ouch! Thank you for noting.

[–] [email protected] 2 points 1 year ago* (last edited 1 year ago)

it relies on a proprietary blob + product.json config from proprietary vscode builds
there's an open source remote development extension (works pretty well) but it currently only supports ssh

[–] JackbyDev 1 points 1 year ago

Not all extensions work. The pylance one didn't.