From 0f0a943d5429cf8db0f7f6cc9bc2679ed9329901 Mon Sep 17 00:00:00 2001 From: Holger Weiss Date: Tue, 14 Jan 2014 22:58:44 +0100 Subject: 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. --- web/input/doc/faq/gnulib.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'web/input/doc/faq/gnulib.md') 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: $ cd gnulib $ GNULIB_HEAD=$(git rev-parse --short HEAD) $ cd .. - $ git clone git@github.com:nagios-plugins/nagios-plugins.git - $ cd nagios-plugins + $ git clone git@github.com:monitoring-plugins/monitoring-plugins.git + $ cd monitoring-plugins $ ../gnulib/gnulib-tool --update $ find gl -name '*~' -o -name '.gitignore' | xargs rm $ git status -- cgit v1.2.3-74-g34f1