[monitoring-plugins] Rename to .pl

Bernd Arnold <[email protected]> Thu, 26 Jul 2018 07:40:15 +0200 (CEST)

Newsgroups	gmane.network.nagios.cvs
Message-ID	<20180726054015.1F7D120084E5__24577.6792442941$1532583494$gmane$org@orwell.monitoring-plugins.org>

 Module: monitoring-plugins
 Branch: master
 Commit: 44816b4979cdad1698179e749726b8f45e5587d2
 Author: Bernd Arnold <[email protected]>
   Date: Sun Jun  3 16:05:54 2018 +0200
    URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=44816b4

Rename to .pl

All other check script also have the .pl ending

---

 plugins-scripts/{check_uptime => check_uptime.pl} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/plugins-scripts/check_uptime b/plugins-scripts/check_uptime.pl
similarity index 100%
rename from plugins-scripts/check_uptime
rename to plugins-scripts/check_uptime.pl