]> git.donarmstrong.com Git - dsa-puppet.git/blobdiff - modules/debian-org/files/rc.local
mail-big-homedirs: never touch the homedir of the buildd user
[dsa-puppet.git] / modules / debian-org / files / rc.local
index c43038af4b177ecc118b6adfca8100e901883609..d947009b3028a925e0b9d169923c5bb19d809f9c 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ##
 ## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
@@ -6,5 +6,9 @@
 ##
 
 if [ -e /proc/sys/kernel/modules_disabled ]; then
-       echo 1 > /proc/sys/kernel/modules_disabled || true
+       ( sleep 60;
+         echo 1 > /proc/sys/kernel/modules_disabled || true
+       ) & disown
 fi
+
+touch /var/run/reboot-lock