diff options
| author | Suren A. Chilingaryan <csa@suren.me> | 2019-08-25 03:49:35 +0200 |
|---|---|---|
| committer | Suren A. Chilingaryan <csa@suren.me> | 2019-08-25 03:49:35 +0200 |
| commit | c8c277200169dfadf88dd176e5c056967550e059 (patch) | |
| tree | ec1a519ef550c2206c7863503627388e343778a3 /remote/ipe.sh | |
| parent | 5e6c83d51d0f52ecb464f137ad68f0bd1a83f5e4 (diff) | |
| download | conky-c8c277200169dfadf88dd176e5c056967550e059.tar.gz conky-c8c277200169dfadf88dd176e5c056967550e059.tar.bz2 conky-c8c277200169dfadf88dd176e5c056967550e059.tar.xz conky-c8c277200169dfadf88dd176e5c056967550e059.zip | |
Add remote services
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" |