Skip to content

Commit

Permalink
fix: ensure nargo is always on PATH
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Jan 27, 2025
1 parent 2e1a927 commit 8d13818
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 7 deletions.
6 changes: 3 additions & 3 deletions src/noir/devcontainer-feature.json
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,10 @@
"default": "nightly"
}
},
"onCreateCommand": "nargo --version",
"onCreateCommand": "echo $PATH && nargo --version",
"containerEnv": {
"PATH": "$_REMOTE_USER_HOME/nargo/bin:${PATH}"
"NARGO_HOME":"/nargo",
"PATH": "/nargo/bin:${PATH}"
},
"customizations": {
"vscode": {
Expand All @@ -24,5 +25,4 @@
]
}
}

}
5 changes: 1 addition & 4 deletions src/noir/install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,5 @@ set -e

apt update && apt install -y curl git tar gzip && rm -rf /var/lib/apt/lists/* && apt clean

export NARGO_HOME="$_REMOTE_USER_HOME/nargo"
curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash
$NARGO_HOME/bin/noirup -v $VERSION

PATH="$PATH:$NARGO_HOME/bin"
noirup -v $VERSION

0 comments on commit 8d13818

Please sign in to comment.