From fd4ae2be093c2a57537141ea945cae30fffa2a8b Mon Sep 17 00:00:00 2001 From: FReenen Date: Wed, 11 Dec 2024 18:33:22 +0100 Subject: [PATCH] update auto clone script --- configs/auto_clone.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) mode change 100644 => 100755 configs/auto_clone.sh diff --git a/configs/auto_clone.sh b/configs/auto_clone.sh old mode 100644 new mode 100755 index bef4591..9a14ab8 --- a/configs/auto_clone.sh +++ b/configs/auto_clone.sh @@ -20,14 +20,14 @@ do full_name="$(echo "$repo_json" | sed -e 's/^.*"full_name":"\([^"]*\)".*$/\1/')" ssh_url="$(echo "$repo_json" | sed -e 's/^.*"ssh_url":"\([^"]*\)".*$/\1/')" echo - echo "### $full_name" + echo "### ${full_name,,}" - if [ -d "$project_dir/$full_name" ] + if [ -d "$project_dir/${full_name,,}" ] then - cd "$project_dir/$full_name" + cd "$project_dir/${full_name,,}" git fetch else - git clone "$ssh_url" "$project_dir/$full_name" + git clone "$ssh_url" "$project_dir/${full_name,,}" fi done