#!/bin/sh # # Copyright (c) 2013 Nagios Plugins Development Team # # Originally written by Holger Weiss . # # This file is free software; the Nagios Plugins Development Team gives # unlimited permission to copy and/or distribute it, with or without # modifications, as long as this notice is preserved. # # This program is distributed in the hope that it will be useful, but WITHOUT # ANY WARRANTY, to the extent permitted by law; without even the implied # warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. set -e set -u prefix='/home/plugins' repository=${PWD##*/} web_repositories='nagios-plugins.git site.git' web_branch='master' for web_repository in $web_repositories do if [ "$repository" = "$web_repository" ] then while read old new ref do test "${ref#refs/heads/}" = "$web_branch" \ && exec "$prefix/bin/build-web-site" >'/dev/null' done fi done