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 <[email protected]> 
> wrote:
> 
>> On 10/08/2014 04:20 AM, Dan White wrote:
>> 
>> 
>> 
>> On Oct 7, 2014, at 4:17 PM, Felix Frank <[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.

-- 
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/892313EC-4375-49E3-915A-7766CBDC2F77%40icloud.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to