What's diffrents between "127.0.0.1:8080 - INSTALLED" and "BROWSER - INSTALLED"
My understanding is, the first one is a pre-installed extensions, and the second one is a extension manually installed in the browser.
But when I actually operated it, both the pre-installed extensions and the manually installed extensions in the browser appear in the first one.
Did I misunderstand something?
9 Replies
The
BROWSER - INSTALLED ones are web extensions
the 127.0.0.1:8080 - INSTALLED ones are just regular vs code extensions running on the code server hostinteresting...
Can you give me an example, I don't know which extension is web extension. I want to try it
I'm not sure if there's a filter in vscode, but if you visit https://github.dev/github/dev and go to extensions, anything you can install is a web extension
Actually, I tried, so I'm even more confused.
At first, On github.dev and vscode.dev, there is only one "INSTALLED", no "BROWSER - INSTALLED".
Then, any plugins I install on code-server will appear in the "127.0.0.1:8080 - INSTALLED" not "BROWSER - INSTALLED".
I'm not 100% on why they might be not showing up under
BROWSER - INSTALLED, but just because it's a web extension doesn't mean it can't also be a regular extension
I would probably assume code server has automatically switched the web extensions to their regular variants opportunistically
since there wouldn't be much point running it in the browser if you can just run it on the host
... which would make the BROWSER - INSTALLED section useless on code server, which I think is the caseOk, Thanks for your reply.
@Phorcys closed the thread.