-
Notifications
You must be signed in to change notification settings - Fork 1.3k
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
filiptronicek
merged 10 commits into
ide/browser-terminal
from
ide/experimental-ides-backend
Apr 22, 2023
Merged
Filter out IDEs on the backend #17324
filiptronicek
merged 10 commits into
ide/browser-terminal
from
ide/experimental-ides-backend
Apr 22, 2023
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
28792d0
to
752273f
Compare
a37ff85
to
450dc2b
Compare
012ddaf
to
831a59d
Compare
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
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Related Issue(s)
Fixes #
How to test
Documentation
Preview status
Gitpod was successfully deployed to your preview environment.
Build Options:
Run the build with werft instead of GHA
Run Leeway with
--dont-test
Publish Options
Installer Options
Add desired feature flags to the end of the line above, space separated
Preview Environment Options:
If enabled this will build
install/preview
If enabled this will create the environment on GCE infra
Valid options are
all
,workspace
,webapp
,ide
,jetbrains
,vscode
,ssh
/hold