8000 docs: add early access dev container docs by mafredri · Pull Request #17613 · coder/coder · GitHub
[go: up one dir, main page]

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.

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
Prev Previous commit
Next Next commit
workaround bad linter
  • Loading branch information
mafredri committed Apr 30, 2025
commit 3df5a334bb1985b73aafae96179fc3c08cf4faee
16 changes: 9 additions & 7 deletions docs/early-access/devcontainers.md
Original file line number Diff line number Diff line change
Expand Up @@ -111,6 +111,8 @@ resource "coder_devcontainer" "my-repository" {
> container's workspace and should point to a valid project folder containing a
> `devcontainer.json` file.

<!-- nolint:MD028/no-blanks-blockquote -->

> [!TIP]
>
> Consider using the [`git-clone`](https://registry.coder.com/modules/git-clone)
Expand Down Expand Up @@ -238,7 +240,7 @@ For example, with this `devcontainer.json` configuration:

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

Expand Down Expand Up @@ -266,12 +268,12 @@ 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
}
},
"appPort": [13337]
"features": {
"ghcr.io/coder/devcontainer-features/code-server:1": {
"port": 13337
}
},
"appPort": [13337]
}
```

Expand Down
Loading
0