Skip to content

Make ide optional for dev-environment#3656

Open
peterschmidt85 wants to merge 1 commit intomasterfrom
optional-ide-dev-environment
Open

Make ide optional for dev-environment#3656
peterschmidt85 wants to merge 1 commit intomasterfrom
optional-ide-dev-environment

Conversation

@peterschmidt85
Copy link
Contributor

Summary

Closes #1605

  • Model: ide field in DevEnvironmentConfigurationParams is now Optional (defaults to None); added validation that version requires ide
  • Server: DevEnvironmentJobConfigurator skips IDE install/readme commands when ide is None
  • UI: IDE selector includes a "None" option; connect dialog shows SSH-only instructions when no IDE is set; validation no longer requires ide
  • Docs: Updated dev-environment docs with SSH-only example
  • Tests: Added tests for optional ide and version-requires-ide validation

Test plan

  • All 2177 tests pass
  • Pre-commit hooks pass
  • Pyright: no new errors (17 pre-existing)

🤖 Generated with Claude Code

Allow dev environments to be provisioned without a pre-installed IDE,
accessible via SSH only. When `ide` is omitted, no IDE setup or readme
commands are run. Update frontend to support the None option and adjust
validation, docs, and tests accordingly.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[UX] Make ide optional for dev-environment

1 participant