[monitoring-plugins] Rename to .pl

Bernd Arnold git at monitoring-plugins.org
Thu Jul 26 07:40:15 CEST 2018


 Module: monitoring-plugins
 Branch: master
 Commit: 44816b4979cdad1698179e749726b8f45e5587d2
 Author: Bernd Arnold <wopfel at gmail.com>
   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



More information about the Commits mailing list