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