[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