Skip to content

Filter out IDEs on the backend #17324

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

Merged
merged 10 commits into from
Apr 22, 2023

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