Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Auto-detect preferred workspace IDE based on repo contents or metadata #8575

Closed
loujaybee opened this issue Mar 3, 2022 · 1 comment
Closed
Labels
aspect: growth Issues relating to product growth initiatives editor: code (browser) editor: code (desktop) editor: jetbrains meta: stale This issue/PR is stale and will be closed soon team: IDE

Comments

@loujaybee
Copy link
Member

Currently, the way Gitpod works with IDE preferences doesn't allow for flexibly opening workspaces outside of the global setting. However, there are scenarios where this behaviour leads to confusion, or is not inline with users expectations. See:

One potential solution is to allow users to specify explicitly their IDE / editor on workspace start. However, this then also requires the user to explicitly specify their IDE, which can be cumbersome.

One additional solution is to auto-detect the right IDE based on metadata from the repo, such as existence of dot and configuration files, or possibly other factors such as language, or even past user behaviour #6707 (comment). This is a tricky behaviour to get right, however could lead to a nice experience if the logic is mostly correct. One additional challenge is that for VS Code in the browser there is currently no way to "interrupt" the UX when a user opens the editor.

@stale
Copy link

stale bot commented Sep 24, 2022

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 stale bot added the meta: stale This issue/PR is stale and will be closed soon label Sep 24, 2022
@stale stale bot closed this as completed Oct 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
aspect: growth Issues relating to product growth initiatives editor: code (browser) editor: code (desktop) editor: jetbrains meta: stale This issue/PR is stale and will be closed soon team: IDE
Projects
None yet
Development

No branches or pull requests

1 participant