-
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
Usability: Allow to Edit Workspace Commands #15239
Comments
Related: #13989 |
@tsmaeder devfile commands are transformed into tasks and you can edit tasks ? |
|
relabeled to |
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
In the context of adjusting the self-hosting devfiles to my concrete needs, I'd like to adjust the devfile commands, for example to use different directories.
Currently, I have to stop the workspace, change the command and restart the workspace for each change (which can be tedious especially if my changes don't immediately work)
I would propose a way to edit the commands from within the IDE. We could restrict editing in a way that makes it less likely that we break something in the devfile.
The text was updated successfully, but these errors were encountered: