This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
2024-01-12 09:30:55 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -u
|
|
|
|
# DEBUG
|
|
|
|
set -x
|
|
|
|
|
|
|
|
main() {
|
2024-02-02 13:36:30 +00:00
|
|
|
cd "$(dirname "${0}")"
|
|
|
|
|
2024-01-19 10:01:49 +00:00
|
|
|
# includes functions:
|
|
|
|
# common_start
|
|
|
|
# common_end
|
|
|
|
. ./build__common.sh
|
2024-01-12 09:30:55 +00:00
|
|
|
|
2024-02-05 18:18:57 +00:00
|
|
|
target='pilot-setem'
|
2024-01-12 09:30:55 +00:00
|
|
|
|
2024-01-19 10:01:49 +00:00
|
|
|
common_start
|
2024-01-12 09:30:55 +00:00
|
|
|
|
|
|
|
# detect if is new
|
|
|
|
if [ ! -f "./${idhub1}" ] && [ ! -f "./${idhub2}" ]; then
|
|
|
|
echo 'Detected new deployment, recreating git repos idhub1 and idhub2'
|
|
|
|
cp -rp IdHub "${idhub1}"
|
|
|
|
rm -f "${idhub1}/db.sqlite3"
|
|
|
|
cp -rp IdHub "${idhub2}"
|
|
|
|
rm -f "${idhub2}/db.sqlite3"
|
|
|
|
fi
|
|
|
|
|
2024-01-19 10:01:49 +00:00
|
|
|
common_end
|
2024-01-12 09:30:55 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
main "${@}"
|