diff options
author | Alexander Sulfrian <alexander@sulfrian.net> | 2012-11-14 02:28:54 +0100 |
---|---|---|
committer | Alexander Sulfrian <alexander@sulfrian.net> | 2012-11-14 02:28:54 +0100 |
commit | fcf93c95ac059ee50698ec9507f34fea01b0b5f4 (patch) | |
tree | 12e52b23e780002870d57d1892554a84fc10dd5f | |
parent | 40c2053e7c3e7343b690384f123410d0aa18d9b7 (diff) | |
download | bcfg2-tools-fcf93c95ac059ee50698ec9507f34fea01b0b5f4.tar.gz bcfg2-tools-fcf93c95ac059ee50698ec9507f34fea01b0b5f4.tar.bz2 bcfg2-tools-fcf93c95ac059ee50698ec9507f34fea01b0b5f4.zip |
renew-config: check if clients.xml has changed in real repo
-rwxr-xr-x | renew-config | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/renew-config b/renew-config index a7e8314..937025e 100755 --- a/renew-config +++ b/renew-config @@ -12,6 +12,11 @@ fi git fetch origin 2>/dev/null git push origin master 2>/dev/null +if ! diff -q "$REPO/Metadata/clients.xml" "$REAL/Metadata/clients.xml" >/dev/null; then + error "$REPO: Metadata/clients.xml out of date. +You probably should update it with $REAL/Metadata/clients.xml" +fi + if [ -n "$(git rev-list HEAD..origin/master)" ]; then error "$REPO: HEAD does not equal to origin/master." fi |