From 9cf9a6c532e84e1a80cda6f73c9c4626271c2246 Mon Sep 17 00:00:00 2001 From: haraldreingruber Date: Sat, 11 Nov 2023 18:57:05 +0000 Subject: [PATCH] Clean up --- install.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/install.sh b/install.sh index 7e9b0c9f..54f2a844 100755 --- a/install.sh +++ b/install.sh @@ -135,8 +135,9 @@ else echo "SUCCESS: Rust is up to date" fi -# Check if GITPOD_WORKSPACE_ID environment variable exists -if [ -z "$GITPOD_WORKSPACE_ID" ]; then +# We don't need to clone if installing in Gitpod.io environment +if [[ -z ${GITPOD_WORKSPACE_ID} ]] +then Path=${1:-rustlings/} echo "Cloning Rustlings at $Path..."