Skip to content

Commit

Permalink
chore: update docs to use devcontainer feature (#7206)
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench authored Jan 29, 2025
1 parent 784a562 commit 506641b
Showing 1 changed file with 5 additions and 19 deletions.
24 changes: 5 additions & 19 deletions docs/docs/how_to/using-devcontainers.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -60,29 +60,15 @@ Github comes with a default codespace and you can use it to code your own devcon

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

#### 4. Create a Dockerfile in that folder, and paste the following code:

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

```json
{
"name": "Noir on Codespaces",
"build": {
"context": ".",
"dockerfile": "Dockerfile"
},
"customizations": {
"vscode": {
"extensions": ["noir-lang.vscode-noir"]
"image": "mcr.microsoft.com/devcontainers/base:ubuntu",
"features": {
"ghcr.io/noir-lang/features/noir:latest": {
"version": "1.0.0-beta.1"
}
}
}
Expand Down

0 comments on commit 506641b

Please sign in to comment.