change default compression type for apt

[mirror/dsa-puppet.git] / modules / debian-org / files / rc.local

diff --git a/modules/debian-org/files/rc.local b/modules/debian-org/files/rc.local
index 4d8738d..4342f89 100755 (executable)
--- a/modules/debian-org/files/rc.local
+++ b/modules/debian-org/files/rc.local
@@ -1,5 +1,12 @@
-#!/bin/sh
+#!/bin/bash
+
+##
+## THIS FILE IS UNDER PUPPET CONTROL. DON'T EDIT IT HERE.
+## USE: git clone git+ssh://$USER@puppet.debian.org/srv/puppet.debian.org/git/dsa-puppet.git
+##
 
 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