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

[server] Allow options on ws start (1/2) #15388

Merged
merged 1 commit into from
Dec 16, 2022
Merged

Conversation

svenefftinge
Copy link
Member

@svenefftinge svenefftinge commented Dec 16, 2022

Description

Introduces optional IDE and workspace class arguments on workspace start.
This is a precursor for #15287

Related Issue(s)

Fixes #

How to test

Release Notes

NONE

Documentation

Werft options:

  • /werft with-local-preview
    If enabled this will build install/preview
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=all
    Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh

introduces IDE and workspace class arguments on WS Start
@svenefftinge svenefftinge requested review from a team December 16, 2022 10:52
@github-actions github-actions bot added team: IDE team: webapp Issue belongs to the WebApp team labels Dec 16, 2022
@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-se-start-with-options.1 because the annotations in the pull request description changed
(with .werft/ from main)

@svenefftinge
Copy link
Member Author

/hold

@geropl
Copy link
Member

geropl commented Dec 16, 2022

Code LGTM as well; would be nice if we could do a little bit of testing (starting at least one workspace) as well. 🧘

Copy link
Member

@akosyakov akosyakov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good, but did not try

return this.doResolveWorkspaceConfig(
workspace,
userSelectedIdeSettings || user.additionalData?.ideSettings,
);
}

const deprecated = await this.resolveDeprecated(workspace, user);
Copy link
Member

@akosyakov akosyakov Dec 16, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(fyi) this branch is not used, and it is going away next week

@svenefftinge svenefftinge changed the title [server] Allow options on ws start [server] Allow options on ws start (1/2) Dec 16, 2022
@svenefftinge
Copy link
Member Author

/unhold
starting workspaces still works.

@roboquat roboquat merged commit 0605514 into main Dec 16, 2022
@roboquat roboquat deleted the se/start-with-options branch December 16, 2022 11:42
@roboquat roboquat added deployed: webapp Meta team change is running in production deployed: IDE IDE change is running in production deployed Change is completely running in production labels Dec 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed: webapp Meta team change is running in production deployed Change is completely running in production release-note-none size/M team: IDE team: webapp Issue belongs to the WebApp team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants