diff options
| author | terminaldweller <thabogre@gmail.com> | 2022-12-18 11:18:14 +0000 |
|---|---|---|
| committer | terminaldweller <thabogre@gmail.com> | 2022-12-18 11:18:14 +0000 |
| commit | 48bc5c779635cd369672405483082115d4f5112b (patch) | |
| tree | 0db3be47d825ea04081027f2887290c3fd88ff92 /terminaldweller.com/cgit/bootstrap/bootstrap.sh | |
| parent | update (diff) | |
| download | scripts-48bc5c779635cd369672405483082115d4f5112b.tar.gz scripts-48bc5c779635cd369672405483082115d4f5112b.zip | |
update
Diffstat (limited to 'terminaldweller.com/cgit/bootstrap/bootstrap.sh')
| -rwxr-xr-x | terminaldweller.com/cgit/bootstrap/bootstrap.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/terminaldweller.com/cgit/bootstrap/bootstrap.sh b/terminaldweller.com/cgit/bootstrap/bootstrap.sh index d504064..3481546 100755 --- a/terminaldweller.com/cgit/bootstrap/bootstrap.sh +++ b/terminaldweller.com/cgit/bootstrap/bootstrap.sh @@ -32,17 +32,20 @@ REPOS="cgrep \ grpc \ faultreiber \ luatablegen \ + magni \ cfe-extra" bootstrap() { for REPO in ${REPOS}; do - (cd "${GIT_REPO_DIR}" && git clone --bare "${ORIGIN_HTTPS}/${REPO}") + if [ ! -d ${GIT_REPO_DIR}/${REPO}.git ]; then + (cd "${GIT_REPO_DIR}" && git clone --bare "${ORIGIN_HTTPS}/${REPO}") + fi done } update_repos() { for REPO in ${REPOS}; do - (cd "${GIT_REPO_DIR}/${REPO}".git && git fetch || true) + (cd "${GIT_REPO_DIR}/${REPO}".git && git fetch origin *:*) done } |