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

Workspace configuration with devfile: synchronization and lifecycle #14014

Closed
slemeur opened this issue Jul 24, 2019 · 1 comment
Closed

Workspace configuration with devfile: synchronization and lifecycle #14014

slemeur opened this issue Jul 24, 2019 · 1 comment
Labels
kind/epic A long-lived, PM-driven feature request. Must include a checklist of items that must be completed.
Milestone

Comments

@slemeur
Copy link
Contributor

slemeur commented Jul 24, 2019

Goal

Today, a workspace is getting configured from a multitude of different sources:

  • devfile
  • tasks.json in a .theia folder
  • launch.json in a .theia folder
  • and of course, in the IDE with the different configuration options that are available.
    Those are not yet kept synchronized which cause some issues. So if a user is adding a task from the IDE, the menu will guide him into adding a task to the tasks.json file - but then the task is not referenced in the devfile.
    Similarly, if the devfile is getting updated, the workspace will need to be restarted to get the changes applied.

This epic, is a placeholder for analyzing and describing the different requirements around the management of the workspace configuration with the devfile, its synchronization with the IDE and its lifecycle.

Related issues

@slemeur slemeur added the kind/epic A long-lived, PM-driven feature request. Must include a checklist of items that must be completed. label Jul 24, 2019
@slemeur slemeur added this to the 7.3.0 milestone Jul 24, 2019
@slemeur
Copy link
Contributor Author

slemeur commented Oct 16, 2019

Updated the description of #12709 and closing this epic in favor of following in #12709

@slemeur slemeur closed this as completed Oct 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/epic A long-lived, PM-driven feature request. Must include a checklist of items that must be completed.
Projects
None yet
Development

No branches or pull requests

1 participant