From 468ef2ae1fff2e3d42becb9515c0d2b9f81fc7c3 Mon Sep 17 00:00:00 2001 From: Niels Geens Date: Fri, 28 Mar 2025 15:09:37 +0000 Subject: [PATCH] configure git username and email in bootstrap script --- scripts/bootstrap.sh | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/scripts/bootstrap.sh b/scripts/bootstrap.sh index 138c40d..0e7d3b5 100755 --- a/scripts/bootstrap.sh +++ b/scripts/bootstrap.sh @@ -25,8 +25,15 @@ mkdir -p "/root/desktop" mkdir -p "/root/venvs" # Clone SIA repository -echo "Cloning SIA repository..." -[ ! -d "/root/sia" ] && git clone "https://$SIA_REPO_USER:$SIA_REPO_PAT@${SIA_REPO_URL#https://}" "/root/sia" +if [ ! -d "/root/sia" ]; then + echo "Cloning SIA repository..." + git clone "https://$SIA_REPO_USER:$SIA_REPO_PAT@${SIA_REPO_URL#https://}" "/root/sia" + + echo "Configuring git user and email..." + cd "/root/sia" + git config --global user.name "Niels Geens" + git config --global user.email "niels.geens@gmail.com" +fi # Fixing permissions echo "Fixing permissions..."