From 5460c1e472e97ec3cbcbaec2fb928714a440f655 Mon Sep 17 00:00:00 2001 From: Michael Becker Date: Tue, 13 Feb 2024 22:49:43 -0500 Subject: [PATCH] fix bug when using GitHub pubkey --- firstrun.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/firstrun.sh b/firstrun.sh index bf93fe73..9e58dec1 100755 --- a/firstrun.sh +++ b/firstrun.sh @@ -57,9 +57,9 @@ echo "fetching dependent projects from author repository" GIT_USE_PUBKEY="false" if [ "$GIT_USE_PUBKEY" = "true" ]; then - GIT_PREFIX=git@github.com + GIT_PREFIX=git@github.com: else - GIT_PREFIX=git://github.com + GIT_PREFIX=git://github.com/ fi GIT_USERNAME=alcexhim @@ -69,7 +69,7 @@ cd .. for projName in ${GIT_PROJECT_NAMES}; do - git clone $GIT_PREFIX/$GIT_USERNAME/$projName + git clone $GIT_PREFIX$GIT_USERNAME/$projName done