fix(installation): avoid additional repository cloning in devcontainer setup

closes #1776
This commit is contained in:
Matthias Richter 2023-11-18 04:26:19 +01:00
parent dbcdeec5d4
commit b0ddf4d704

View file

@ -4,4 +4,4 @@ curl https://sh.rustup.rs -sSf | sh -s -- -y
# Update current shell environment variables after install to find rustup
. "$HOME/.cargo/env"
rustup install stable
bash install.sh
bash install.sh --no-clone