mirror/rustlings
1
0
Fork 0
mirror of https://github.com/rust-lang/rustlings.git synced 2024-12-26 00:00:03 +03:00
Code Issues Packages Projects Releases Wiki Activity

Clean up

Browse source
This commit is contained in:
haraldreingruber 2023-11-11 18:57:05 +00:00
parent 469218f7e3
commit 9cf9a6c532
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
install.sh
View file

@ -135,8 +135,9 @@ else
echo "SUCCESS: Rust is up to date" echo "SUCCESS: Rust is up to date"
fi fi
# Check if GITPOD_WORKSPACE_ID environment variable exists # We don't need to clone if installing in Gitpod.io environment
if [ -z "$GITPOD_WORKSPACE_ID" ]; then if [[ -z ${GITPOD_WORKSPACE_ID} ]]
then
Path=${1:-rustlings/} Path=${1:-rustlings/}
echo "Cloning Rustlings at $Path..." echo "Cloning Rustlings at $Path..."