Skip to content

Conversation

@filiptronicek
Copy link
Member

@filiptronicek filiptronicek commented Apr 21, 2023

Description

Related Issue(s)

Fixes #

How to test

Documentation

Preview status

Gitpod was successfully deployed to your preview environment.

Build Options:

  • /werft with-werft
    Run the build with werft instead of GHA
  • leeway-no-cache
  • /werft no-test
    Run Leeway with --dont-test
Publish Options
  • /werft publish-to-npm
  • /werft publish-to-jb-marketplace
Installer Options
  • analytics=segment
  • with-dedicated-emulation
  • with-ws-manager-mk2
  • workspace-feature-flags
    Add desired feature flags to the end of the line above, space separated

Preview Environment Options:

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

/hold

@filiptronicek filiptronicek force-pushed the ide/experimental-ides-backend branch from 28792d0 to 752273f Compare April 21, 2023 22:43
@roboquat roboquat added size/L and removed size/M labels Apr 22, 2023
@filiptronicek filiptronicek self-assigned this Apr 22, 2023
@filiptronicek filiptronicek changed the base branch from main to ide/browser-terminal April 22, 2023 12:02
@roboquat roboquat added size/XXL and removed size/L labels Apr 22, 2023
@filiptronicek filiptronicek force-pushed the ide/experimental-ides-backend branch from 012ddaf to 831a59d Compare April 22, 2023 12:35
@roboquat roboquat added size/M and removed size/XXL labels Apr 22, 2023
@filiptronicek filiptronicek changed the title WIP Filter out IDEs on the backend Apr 22, 2023
@filiptronicek filiptronicek marked this pull request as ready for review April 22, 2023 12:46
@filiptronicek filiptronicek requested review from a team April 22, 2023 12:46
@filiptronicek filiptronicek requested a review from gtsiolis as a code owner April 22, 2023 12:46
@github-actions github-actions bot added team: webapp Issue belongs to the WebApp team team: IDE labels Apr 22, 2023
@filiptronicek filiptronicek merged commit b2b4ea1 into ide/browser-terminal Apr 22, 2023
@filiptronicek filiptronicek deleted the ide/experimental-ides-backend branch April 22, 2023 12:51
roboquat pushed a commit that referenced this pull request Apr 24, 2023
* Add xterm as an IDE

* Move the IDE to our GCP registry πŸŽ‰

* Also resolve the source code commit for IDEs in `ide-service`

* Add feature flag

* Xterm => terminal

* Revert "Also resolve the source code commit for IDEs in `ide-service`"

This reverts commit 06aee00.

* always add `<iframe>` to the top of `<body>`

* Add the next non-jb IDE :)

* Add latest image

* Filter out IDEs on the backend (#17324)

* Address review comments

Never mutate `s.ideConfig` itself and make an in-memory copy of it to not use it every time.

* Pre-compute outside

* Stringify config instead of options
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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.

2 participants