On 10/08/2014 04:20 AM, Dan White wrote: > > > > On Oct 7, 2014, at 4:17 PM, Felix Frank > <[email protected] > <mailto:[email protected]>> wrote: > >> On 10/07/2014 09:55 PM, Dan White wrote: >>> |Local hardening guidelines say that /usr/local and /var/log/audit >>> have to be separate partitions. >>> OK, so I make "mount" resources. >>> >>> Now the problem: The order of the mount points in /etc/fstab makes >>> a difference. >>> I had /usr/local before /usr, and at boot, the mount of /usr/local >>> failed because the mount point did not (yet) exist. >>> >>> So I need to ensure the line for /usr/local comes AFTER the line for >>> /usr. >>> >>> HOW TO DO IT ? | >> >> We've been pondering this very problem quite some times here - >> because it really is a fundamental issue. >> >> I've been thinking of patching the very mount provider to make sure >> of this, but I haven't yet got around to it. >> >> Currently, your easiest way out will likely be to make the mount >> resources notify the exec of a >> perl/shell/ruby/some-snake-that-everyone-likes-for-some-reason script >> to repair fstab if need be. >> >> Cheers, >> Felix > > If I figure out how to get augeas to do it, I will, of course, share > on the list. > If you want any help tinkering with the mount type, I am willing to > assist.
Hey y'all, old thread. Oooold. However: https://github.com/ffrank/puppet/tree/ticket/master/PUP-4619-sort-fstab-mounts This branch has a fix. Not quite ready for merging, because some proper tests are still missing, but any feedback is welcome. Cheers, Felix -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/puppet-users/5558F8D2.1010804%40Alumni.TU-Berlin.de. For more options, visit https://groups.google.com/d/optout.
