search

gitpod-io / gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.
https://www.gitpod.io
GNU Affero General Public License v3.0
12.71k stars 1.21k forks source link

gitpod extension (maybe a new one): allow integration with vscode.dev #6618

Open GitMensch opened 2 years ago

GitMensch commented 2 years ago

There are currently two gitpod extensions in the ms extension market, I think I fail to see from the README what they are actually for (the README seems to be about Gitpod, not about the extension). That aside: It would be cool if there is an extension that allows using the existing gitpot workspaces in vscode.dev (providing Terminal/build/debug).

akosyakov commented 2 years ago

I don't think it is technically feasible. There is API between web workbench (vscode.dev) and VS Code Server running on the backend. It is not stable, i.e. it is only safe when web workbench and server are built from the same commit. Connecting arbitrary one likely is not going to work and will break in subtle ways.

What could work if an extension which detects underlying git repo and suggest to open in Gitpod instead.

GitMensch commented 2 years ago

What could work if an extension which detects underlying git repo and suggest to open in Gitpod instead.

If that would work also in a way that it creates the necessary workspace then this would be definitely useful.

Do you think you could clean up the extensions' README a bit to make more clear what the extensions actually do and if they are found at different repos adjust this content in the package.json (pointed all to the repo where I've created the issue).

loujaybee commented 2 years ago

I'm not sure I fully understand the use-case for having an extension that's compatible with vscode.dev, do you mind expanding a little on what you're trying to achieve with that @GitMensch ?

Also, regarding the README's, you're right, it definitely is confusing, I've associated this issue with our GA of VSCode Desktop, we'll pick up this issue as part of that effort. Thanks a lot for raising that 🙏 .

Note: We might want to break this up into two issues.

GitMensch commented 2 years ago

I'm not sure I fully understand the use-case for having an extension that's compatible with vscode.dev, do you mind expanding a little on what you're trying to achieve with that?

Sure. vscode.dev is now fully integrated in Github - open any path in the "code" tab and press a period "." opens vscode.dev at this place with the extensions of the user setup. When I want to do actual work not just simple editing there's more needed - and it would be nice to have an extension I could install there that would open whatever I currently have open in a gitpod workspace.

akosyakov commented 2 years ago

I removed it for now from the groundwork, since we focus on initial onboarding in Dec.

stale[bot] commented 2 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

stale[bot] commented 2 years ago

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.