Skip to content

docs: add early access dev container docs #17613

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.

Sign up for GitHub

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 13 commits into from
May 1, 2025
Merged

docs: add early access dev container docs #17613

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
de5fbfc
docs: add early access dev container docs
mafredri Apr 30, 2025
3a61ec9
amend pr comments
mafredri Apr 30, 2025
2790be9
fix fmt
mafredri Apr 30, 2025
3df5a33
workaround bad linter
mafredri Apr 30, 2025
70e3853
update code server feature opts
mafredri Apr 30, 2025
babe9a0
add images
mafredri Apr 30, 2025
91167b8
fix lint
mafredri Apr 30, 2025
f7510d0
move devcontainers doc
EdwardAngert Apr 30, 2025
81dce70
make
EdwardAngert Apr 30, 2025
26d6222
reorganize devcontainers information
EdwardAngert Apr 30, 2025
cc07423
add ea to manifest
EdwardAngert Apr 30, 2025
466bc9a
Merge branch 'main' into mafredri/docs-ea-devcontainers
EdwardAngert Apr 30, 2025
ceb514c
Merge branch 'main' into mafredri/docs-ea-devcontainers
EdwardAngert Apr 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix lint
  • Loading branch information
@mafredri
mafredri committed Apr 30, 2025
commit 91167b8bfbd17692fc83b49a5db92db5b3ec4ca2
16 changes: 8 additions & 8 deletions docs/early-access/devcontainers.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -247,7 +247,7 @@ For example, with this `devcontainer.json` configuration:

```json
{
"appPort": ["8080:8080", "4000:3000"]
"appPort": ["8080:8080", "4000:3000"]
}
```

Expand Down Expand Up @@ -275,13 +275,13 @@ To use the code-server feature, add the following to your `devcontainer.json`:

```json
{
"features": {
"ghcr.io/coder/devcontainer-features/code-server:1": {
"port": 13337,
"host": "0.0.0.0"
}
},
"appPort": ["13337:13337"]
"features": {
"ghcr.io/coder/devcontainer-features/code-server:1": {
"port": 13337,
"host": "0.0.0.0"
}
},
"appPort": ["13337:13337"]
}
```

Expand Down
Loading