diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-14 22:58:44 +0100 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-14 22:58:44 +0100 |
| commit | 0f0a943d5429cf8db0f7f6cc9bc2679ed9329901 (patch) | |
| tree | cad8ae57e93fcfbfc5bc65ed7afb6c6b50bce62a /web/input/doc/faq/gnulib.md | |
| parent | 3be1e22a0077eb714be9c9e1e3793ad080d93e3f (diff) | |
| download | site-0f0a943d5429cf8db0f7f6cc9bc2679ed9329901.tar.gz | |
Rename Nagios Plugins to Monitoring Plugins
This is a first step of replacing the name "Nagios Plugins" with
"Monitoring Plugins" where appriopriate. Some news items and FAQ
entries are also created or updated. More to come.
Diffstat (limited to 'web/input/doc/faq/gnulib.md')
| -rw-r--r-- | web/input/doc/faq/gnulib.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/input/doc/faq/gnulib.md b/web/input/doc/faq/gnulib.md index 5b7299b..964940c 100644 --- a/web/input/doc/faq/gnulib.md +++ b/web/input/doc/faq/gnulib.md | |||
| @@ -12,8 +12,8 @@ latest Gnulib code, do something like: | |||
| 12 | $ cd gnulib | 12 | $ cd gnulib |
| 13 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) | 13 | $ GNULIB_HEAD=$(git rev-parse --short HEAD) |
| 14 | $ cd .. | 14 | $ cd .. |
| 15 | $ git clone git@github.com:nagios-plugins/nagios-plugins.git | 15 | $ git clone git@github.com:monitoring-plugins/monitoring-plugins.git |
| 16 | $ cd nagios-plugins | 16 | $ cd monitoring-plugins |
| 17 | $ ../gnulib/gnulib-tool --update | 17 | $ ../gnulib/gnulib-tool --update |
| 18 | $ find gl -name '*~' -o -name '.gitignore' | xargs rm | 18 | $ find gl -name '*~' -o -name '.gitignore' | xargs rm |
| 19 | $ git status | 19 | $ git status |