Skip to content

Commit 506641b

Browse files
authored
chore: update docs to use devcontainer feature (#7206)
1 parent 784a562 commit 506641b

File tree

1 file changed

+5
-19
lines changed

1 file changed

+5
-19
lines changed

docs/docs/how_to/using-devcontainers.mdx

+5-19
Original file line numberDiff line numberDiff line change
@@ -60,29 +60,15 @@ Github comes with a default codespace and you can use it to code your own devcon
6060

6161
#### 3. Create a folder called `.devcontainer` in the root of your repository.
6262

63-
#### 4. Create a Dockerfile in that folder, and paste the following code:
64-
65-
```docker
66-
FROM --platform=linux/amd64 node:lts-bookworm-slim
67-
SHELL ["/bin/bash", "-c"]
68-
RUN apt update && apt install -y curl bash git tar gzip libc++-dev
69-
RUN curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash
70-
ENV PATH="/root/.nargo/bin:$PATH"
71-
RUN noirup
72-
ENTRYPOINT ["nargo"]
73-
```
74-
#### 5. Create a file called `devcontainer.json` in the same folder, and paste the following code:
63+
#### 4. Create a file called `devcontainer.json` in the same folder, and paste the following code:
7564

7665
```json
7766
{
7867
"name": "Noir on Codespaces",
79-
"build": {
80-
"context": ".",
81-
"dockerfile": "Dockerfile"
82-
},
83-
"customizations": {
84-
"vscode": {
85-
"extensions": ["noir-lang.vscode-noir"]
68+
"image": "mcr.microsoft.com/devcontainers/base:ubuntu",
69+
"features": {
70+
"ghcr.io/noir-lang/features/noir:latest": {
71+
"version": "1.0.0-beta.1"
8672
}
8773
}
8874
}

0 commit comments

Comments
 (0)