diff options
Diffstat (limited to 'files')
-rw-r--r-- | files/etc/rc.local | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/files/etc/rc.local b/files/etc/rc.local index 8d93e07..fd951eb 100644 --- a/files/etc/rc.local +++ b/files/etc/rc.local @@ -19,6 +19,11 @@ fi # Force the hostname /bin/hostname `cat /etc/hostname` +# Remove puppetd lock, then restart puppet with the right hostname +# Not using this anymore since we moved to a masterless setup. +#rm -f /var/lib/puppet/state/puppetdlock +#/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 |