Thanks for the info. "Sometimes I think the surest sign that intelligent life exists elsewhere in the universe is that none of it has tried to contact us." Bill Waterson (Calvin & Hobbes)
> On May 17, 2015, at 4:23 PM, Felix Frank <felix.fr...@alumni.tu-berlin.de> > wrote: > >> On 10/08/2014 04:20 AM, Dan White wrote: >> >> >> >> On Oct 7, 2014, at 4:17 PM, Felix Frank <felix.fr...@alumni.tu-berlin.de> >> 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 puppet-users+unsubscr...@googlegroups.com. > 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. -- 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 puppet-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/puppet-users/892313EC-4375-49E3-915A-7766CBDC2F77%40icloud.com. For more options, visit https://groups.google.com/d/optout.
