add script to pull git repos

This commit is contained in:
pedro 2023-10-10 10:53:27 +02:00
parent 27742db4fb
commit 8e5b0ce928
2 changed files with 34 additions and 0 deletions

3
.gitignore vendored
View File

@ -2,3 +2,6 @@
.env .env
# emacs # emacs
*~ *~
django-orchestra
django-musician

31
pull-repos.sh Executable file
View File

@ -0,0 +1,31 @@
#!/bin/sh
set -e
set -u
# DEBUG
set -x
# clone or pull git repo
_pull() {
myurl="${1}"
mydir="$(basename "${myurl}")"
mybranch="${2}"
if [ -d "${mydir}" ]; then
cd "${mydir}"
git checkout "${mybranch}"
git pull
cd -
else
git clone "${myurl}" "${mydir}"
fi
}
main() {
_pull 'https://gitea.pangea.org/pangea/django-orchestra' 'sso'
_pull 'https://gitea.pangea.org/pangea/django-musician' 'sso'
}
main "${@}"