Mobrovac has submitted this change and it was merged. Change subject: Add a script to check for git changes and rebuild the deps if needed ......................................................................
Add a script to check for git changes and rebuild the deps if needed The script checks for new, committed changes and pulls them in. If package.json changes as well, the node dependencies are rebuilt and the service is restarted. The script is meant to be run by cron every couple of minutes, so keep the git tree in labs clean! Change-Id: Ic0897cce30aef1d450fc975d96389e5983756657 --- A scripts/puller.sh 1 file changed, 38 insertions(+), 0 deletions(-) Approvals: Mobrovac: Verified; Looks good to me, approved diff --git a/scripts/puller.sh b/scripts/puller.sh new file mode 100755 index 0000000..c8f496f --- /dev/null +++ b/scripts/puller.sh @@ -0,0 +1,38 @@ +#!/bin/bash + + +# ensure we are in the right dir +cd $(dirname $0)/..; + +# check for a git dir +if [[ ! -e .git ]]; then + echo "No .git directory here, exiting" >&2; + exit 1; +fi + +# be on master and get the updates +git checkout master; +git fetch origin; + +# inspect what has changed +flist=$(git diff --name-only origin/master); + +if [[ -z "${flist}" ]]; then + # no changes, we are done + exit 0; +fi + +# there are updates, do them +git pull; + +if echo -e "${flist}" | grep -i package.json > /dev/null; then + # package.json has been changed, need to rebuild the modules + rm -rf node_modules; + npm install; +fi + +# now, restart the service +systemctl restart mobileapps; + +exit $?; + -- To view, visit https://gerrit.wikimedia.org/r/201429 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic0897cce30aef1d450fc975d96389e5983756657 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/mobileapps Gerrit-Branch: master Gerrit-Owner: Mobrovac <mobro...@wikimedia.org> Gerrit-Reviewer: BearND <bsitzm...@wikimedia.org> Gerrit-Reviewer: Mobrovac <mobro...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits