#!/bin/bash -eux # Verify they are all in sync with git, if not, print the domain name. for oo in `ls -d ./oo-*`;do cd $oo if ! git diff --exit-code --quiet; then echo $oo fi cd .. done # Update all oo for oo in `ls -d ./oo-*`;do cd $oo libre update cd .. done