summaryrefslogtreecommitdiffstats
path: root/bin/reproducible_maintenance.sh
diff options
context:
space:
mode:
Diffstat (limited to 'bin/reproducible_maintenance.sh')
-rwxr-xr-xbin/reproducible_maintenance.sh11
1 files changed, 9 insertions, 2 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index 946c2684..349a85b1 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -41,11 +41,18 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then
cp -v $PACKAGES_DB $BASE/
fi
-# for Debian
-echo "$(date -u) - updating the schroots and pbuilder now..."
+# for Debian, first run some checks…
echo "$(date -u) - testing whether the proxy works..."
curl http://www.debian.org > /dev/null
+echo "$(date -u) - testing whether the network interfaces MTU is 1500..."
+if [ "$(LANG=C /sbin/ifconfig | grep -i -v loopback | grep -i mtu | cut -d ":" -f2|cut -d " " -f1)" != "1500" ] ; then
+ /sbin/ifconfig
+ echo "$(date -u) - network interfaces MTU != 1500 - this is wrong."
+ exit 1
+fi
set +e
+
+echo "$(date -u) - updating the schroots and pbuilder now..."
# use host architecture (only)
ARCH=$(dpkg --print-architecture)
# use host apt proxy configuration for pbuilder