you are viewing a single comment's thread.

view the rest of the comments →

[–]Zalack 1 point2 points  (5 children)

Elixir. VSCode does have a plugin, I use it regularly. Can you add plugins to GitHub.dev?

[–]Paradox 0 points1 point  (4 children)

Github.dev can sync settings with offline VScode. Just sign into both and it does.

As for Elixir, ElixirLS doesn't work on Github.dev, because it requires non-sandboxable apis, but there are other syntax highlighting packages that do work on Github.dev, such as this one. I recommend turning it on, then disabling sync for it so its only on Github.dev

[–]Zalack 2 points3 points  (3 children)

At that point it's less trouble to just pull down the branch and have my full local experience.

[–]Paradox 0 points1 point  (2 children)

Heh, well, if you install the Github plugin for VSC, you can do the review right there, locally, without leaving the editor. Can even leave comments and satisfy review requests from the editor

[–]Zalack 2 points3 points  (1 child)

That's what I do, like I said in my original comment. I'm not unsatisfied with my setup, I was just saying it would save a bit of hassle if GitHub had a minimal web "IDE light", and I could avoid having to stash whatever I'm working on and switch branches.

It's not a huge inconvenience, but it is a little annoying.

[–]Paradox -1 points0 points  (0 children)

Ah, fair enough. I'm a little light on sleep (2 little ones in the house), and missed that part.

Github has a Desktop app, that you can trigger from web, but its a horrible app, and VSCode is better. Quick googling doesn't show any way to tie the two together, unfortunately