diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-06-13 13:41:46 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-13 13:41:54 +0200 |
commit | 40ae3a4dc03ed4cc89cdf5ff1ac13b95855ab72a (patch) | |
tree | 79c75e8141bc2642e8959f7df373c8871b2c1c47 /bin | |
parent | 57268dceb90e11563dd35991b6a53f4f4c2133c2 (diff) | |
download | jenkins.debian.net-40ae3a4dc03ed4cc89cdf5ff1ac13b95855ab72a.tar.xz |
reproducible Debian: add comments, cleanup output.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_node_health_check.sh | 26 |
1 files changed, 22 insertions, 4 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 9252644c..17accb1e 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -11,6 +11,7 @@ common_init "$@" # common code defining db access . /srv/jenkins/bin/reproducible_common.sh +# some defaults DIRTY=false REP_RESULTS=/srv/reproducible-results @@ -31,16 +32,24 @@ show_fstab_and_mounts() { DIRTY=true } -# for Debian, first run some checks… +# +# we fail hard +# set +e + +# # check for working proxy +# echo "$(date -u) - testing whether the proxy works..." curl http://www.debian.org > /dev/null if [ $? -ne 0 ] ; then irc_message debian-reproducible "Proxy is down for $HOSTNAME, please tell the jenkins admins to fix this. (sudo service squid3 restart)" exit 1 fi + +# # check for /dev/shm being mounted properly +# echo "$(date -u) - testing whether /dev/shm is mounted correctly..." mount | egrep -q "^tmpfs on /dev/shm" if [ $? -ne 0 ] ; then @@ -52,7 +61,9 @@ if [ $? -ne 0 ] ; then echo "Warning: /dev/shm is not mounted correctly on $HOSTNAME, it should be mounted with 1777 permissions, please tell the jenkins admins to fix this." show_fstab_and_mounts fi +# # check for /run/shm being a link to /dev/shm +# echo "$(date -u) - testing whether /run/shm is a link..." if ! test -L /run/shm ; then echo "Warning: /run/shm is not a link on $HOSTNAME, please tell the jenkins admins to fix this." @@ -61,7 +72,10 @@ elif [ "$(readlink /run/shm)" != "/dev/shm" ] ; then echo "Warning: /run/shm is a link, but not pointing to /dev/shm on $HOSTNAME, please tell the jenkins admins to fix this." show_fstab_and_mounts fi + +# # check for correct MTU +# echo "$(date -u) - testing whether the network interfaces MTU is 1500..." if [ "$(ip link | sed -n '/LOOPBACK\|NOARP/!s/.* mtu \([0-9]*\) .*/\1/p' | sort -u)" != "1500" ] ; then ip link @@ -75,14 +89,18 @@ fi # check for correct future # # (yes this is hardcoded but meh…) +echo "$(date -u) - testing whether the time is right..." if [ "$(date +%Y)" = "2019" ] ; then - echo "Warning, today is the wrong future: $(date -u)" + echo "Warning, today is the wrong future: $(date -u)." elif [ "$(date +%Y)" = "2018" ] ; then - echo "Good, today is the right future: $(date -u)" + echo "Good, today is the right future: $(date -u)." else - echo "Cherrish today, $(date -u)" + echo "Cherrish today, $(date -u)." fi +# +# finally +# if ! $DIRTY ; then echo "$(date -u ) - Everything seems to be fine." echo |