-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Allow desktop IDE preferences (e.g. plugins) to be set via the .gitpod.yml
#6706
Comments
Which one would take preference? User or .gitpod.yml setting? |
I don't think the configuration for what IDE I want to use is something that should be configured on the repo (gitpod.yml) but is rather a user preference. |
+1. See also relevant past discussion in #4258. |
I use Gitpod for the ability to have really various environment. This is especially true if a developer is working at day with IntelliJ but wants to collaborate to Open source project based on another IDE and language |
Thanks for the feedback, @titimoby! 🧡 thought: Relying on suggestion: Instead, what we could do is make this a project[1][2] setting which would also resolve the issue you describe in #6706 (comment) as project settings would always rely on the available options per instance. risk: Things to consider if we make this a project setting include having a fallback when an editor is replaced or removed. thought: If we go down this road, nudging users to enable desktop IDEs or switch to a specific editor like PyCharm could be also interesting. |
Disclaimer: This issue was also/mainly about extensions / customisations for the editor. I put together the issue quite hastily, however the above discussion is also quite interesting! 🙏 I was referring mostly to having features/integrations as we do in the current vscode namespace in our YAML and With regards to:
It's worth linking to this Discord poll where I was asking for some feedback on how IDE's should be configured e.g per-project etc, including this comment:
Which seems similar to the sentiment/request @titimoby is describing above [1] Which I think is a nice summary/request, e.g. to have happy-path configurations for IDE's on a per-project basis, but whilst allowing the user to over-ride configurations with their own personal preferences. Discussion about configurations per-project/per-user also relate to roadmap items like having dotfiles for users: https://github.com/gitpod-io/roadmap/issues/21
Finally, regarding:
Project settings are an interesting point @gtsiolis 👀 I'll CC @jldec for his input on that point as well. |
Personally I'd like a flexible solution, committing things to .gitpod.yml probably doesn't help. Take this type of workflow, which I'll actually be going through this next couple of weeks: Start of Week 1, work from home. Use Intellij Desktop & Remote Gitpod Workspace This is the type of flexibility Gitpod could well bring, and I think judging by the comments on Discord, what people are looking for when they've swung by for the intellij beta. So in an ideal world, you could select whether you want desktop or web based when the workspace was launching, a bit like when it gives you the selection for what desktop IDE you want to use, but adding the web options as well. What you may end up with though, are different commands being run depending on whether you're running a web ide (bringing in your configs and stuff) or a desktop IDE(where its already on your local machine). |
Personally, I was thinking of something similar to Windows' open with dialog + overridable per project config + per user config. You could open the workspace with vscode, jetbrains, your config or the project config. |
Note: This is a rats nets of a concept that I'd personally love to avoid thinking about. In my opinion the success of VSCode lies in the standards based approach that was taken. Did MS create a standard for IDE configuration? My main requirement for a feature like this is that somewhere somehow the "Project settings" which end up being separate from the workspace repository will be version controlled, and exist in human readable format. I am envisioning a concept where I point gitpod to a git repository which contains my global workspace preferences. And each gitpod project can also point to a git repository containing project specific preferences. |
I don't think it is feasible and worth doing conceptually. We will need to customize each editor to respect settings from .gitpod.yml which is rather hard task in first place and will require maintenance. I would prefer clean separation of concerns:
|
Thanks for the feedback, all 🙏 I think some of these comments also apply to: #6602 |
.gitpod.yml
.gitpod.yml
Closing, as duplicate with other work #9445 |
Currently, the user can set their preferences for which IDE to open a global/user level, this issue/feature request is to track the ability to set IDE preferences via
.gitpod.yml
, e.g. extensions.Related to: #6602
Related discussion in Discord
Related JetBrains issue: https://youtrack.jetbrains.com/issue/CWM-4987
The text was updated successfully, but these errors were encountered: