diff options
Diffstat (limited to 'bin/reproducible_maintenance.sh')
-rwxr-xr-x | bin/reproducible_maintenance.sh | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index ea55adef..e71f3dc4 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -52,62 +52,6 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then fi fi -show_fstab_and_mounts() { - echo "################################" - echo "/dev/shm and /run/shm on $HOSTNAME" - echo "################################" - ls -lartd /run/shm /dev/shm/ - echo "################################" - echo "/etc/fstab on $HOSTNAME" - echo "################################" - cat /etc/fstab - echo "################################" - echo "mount output on $HOSTNAME" - echo "################################" - mount - echo "################################" -} - -# for Debian, first run some checks… -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 - echo "Warning: /dev/shm is not mounted correctly on $HOSTNAME, it should be a tmpfs, please tell the jenkins admins to fix this." - show_fstab_and_mounts -fi -test "$(stat -c %a -L /dev/shm)" = 1777 -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." - show_fstab_and_mounts -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 - echo "$(date -u) - network interfaces MTU != 1500 - this is wrong. => please \`sudo ifconfig eth0 mtu 1500\`" - # should probably turn this into a warning if this becomes to annoying - irc_message debian-reproducible "$HOSTNAME has wrong MTU, please tell the jenkins admins to fix this. (sudo ifconfig eth0 mtu 1500)" - exit 1 -fi - echo "$(date -u) - updating the schroots and pbuilder now..." # use host architecture (only) ARCH=$(dpkg --print-architecture) |