2020-07-12 18:24:00 -04:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
. ./env_var.sh
|
|
|
|
|
|
|
|
|
|
#EL_MANIFEST_PROD="./default.xml"
|
|
|
|
|
#EL_MANIFEST_DEV="./manifest/default.dev.xml"
|
|
|
|
|
|
|
|
|
|
# Update git-repo
|
|
|
|
|
git daemon --base-path=. --export-all --reuseaddr --informative-errors --verbose &
|
|
|
|
|
DAEMON_PID=$!
|
|
|
|
|
|
2020-10-25 02:28:41 -04:00
|
|
|
./.venv/repo init -u git://127.0.0.1:9418/ -b $(git rev-parse --verify HEAD) -m ${EL_MANIFEST_DEV}
|
2020-07-24 02:20:30 -04:00
|
|
|
./.venv/repo sync -v --force-sync -m ${EL_MANIFEST_DEV}
|
2020-07-12 18:24:00 -04:00
|
|
|
|
|
|
|
|
kill ${DAEMON_PID}
|