diff options
| author | dermoth <dermoth@nagiosplugins.org> | 2012-11-03 19:07:40 +0000 |
|---|---|---|
| committer | dermoth <dermoth@nagiosplugins.org> | 2012-11-03 19:07:40 +0000 |
| commit | 42a7b3d6d6392a4f1a26090a8dc6de9ae93720f1 (patch) | |
| tree | 7384c5a24b40a04e55d9b979e5bdbbbd5d5869af /tools/np_build_from_sf | |
| parent | c537d71a3af67d0df4e1e015f6b9dcbb505f08d2 (diff) | |
| download | monitoring-plugins-42a7b3d6d6392a4f1a26090a8dc6de9ae93720f1.tar.gz | |
Add scripts that update man pages in drupal
Diffstat (limited to 'tools/np_build_from_sf')
| -rwxr-xr-x | tools/np_build_from_sf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/np_build_from_sf b/tools/np_build_from_sf new file mode 100755 index 00000000..7ba349a6 --- /dev/null +++ b/tools/np_build_from_sf | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | set -xeu | ||
| 4 | |||
| 5 | temp=$(mktemp -d) | ||
| 6 | trap "cd $HOME; rm -rf $temp; exit 1" EXIT | ||
| 7 | curl -sS http://nagiosplug.sourceforge.net/snapshot/nagios-plugins-HEAD.tar.gz|tar -C "$temp" --strip-components=1 -xzf - | ||
| 8 | cd $temp | ||
| 9 | ./configure && make | ||
| 10 | $HOME/bin/update_man_pages | ||
| 11 | |||