michael/astro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

chore(gitpod): resolve potential globbing and word splitting issue (#8124)

Browse source 
Co-authored-by: Nate Moore <natemoo-re@users.noreply.github.com>
This commit is contained in:
Ben Elan 2023-08-17 13:35:52 -07:00 committed by GitHub
parent fa6b68a776
commit 1b656233b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitpod/gitpod-setup.sh
View file

@ -17,7 +17,7 @@ fi
# Wait for VSCode to be ready (port 23000) # Wait for VSCode to be ready (port 23000)
gp ports await 23000 > /dev/null 2>&1 gp ports await 23000 > /dev/null 2>&1
echo "Loading example project:" $EXAMPLE_PROJECT echo "Loading example project: $EXAMPLE_PROJECT"
# Go to the requested example project # Go to the requested example project
cd "$GITPOD_REPO_ROOT"/examples/"$EXAMPLE_PROJECT" || exit cd "$GITPOD_REPO_ROOT"/examples/"$EXAMPLE_PROJECT" || exit