diff options
Diffstat (limited to 'remote/ipe.sh')
| -rwxr-xr-x | remote/ipe.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/remote/ipe.sh b/remote/ipe.sh new file mode 100755 index 0000000..8ef7a2a --- /dev/null +++ b/remote/ipe.sh @@ -0,0 +1,15 @@ +#! /bin/bash + +. lib/status.sh + +function check_ipe { + check "katrin" "katrin.kit.edu" "check_server_status <host>" + check "ipepdvsrv1" "ipepdvsrv1.ipe.kit.edu" "check_server_status <host>" + check "ipepdvsrv2" "ipepdvsrv2.ipe.kit.edu" "check_server_status <host>" + check "ipekatrin1" "ipekatrin1.ipe.kit.edu" "check_server_status <host> uptime" + check "ipekatrin2" "ipekatrin2.ipe.kit.edu" "check_server_status <host> uptime" + check "ipekatrin3" "ipekatrin3.ipe.kit.edu" "check_server_status <host> uptime" +} + +print "IPE Servers\n" +standart_report "check_ipe" " print_table | sed 's/,/,#/g' | column -t -s '#' -o '' | decorate_table" |