diff options
Diffstat (limited to 'files')
| -rw-r--r-- | files/etc/rc.local | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/files/etc/rc.local b/files/etc/rc.local index 124623d..775a383 100644 --- a/files/etc/rc.local +++ b/files/etc/rc.local @@ -19,21 +19,15 @@ fi # Force the hostname /bin/hostname `cat /etc/hostname` -# Remove puppetd lock -rm -f /var/lib/puppet/state/puppetdlock - -# Then restart puppet with the right hostname -/etc/init.d/puppet restart - # Keep this mountpoint while ekeyd fact needs it if [ -d "/proc/bus/usb" ]; then /bin/mount -t usbfs usbfs /proc/bus/usb -onodev,noexec,nosuid fi # Restart shorewall to make sure it gets virtual interfaces -if [ -f '/etc/init.d/shorewall' ]; then - /etc/init.d/shorewall restart -fi +#if [ -f '/etc/init.d/shorewall' ]; then +# /etc/init.d/shorewall restart +#fi # Start system-wide screen session if [ -f "/etc/screenrc.startup" ]; then |