Re: [Nix-dev] /dev/shm inconsistency in chroot

[Ludovic Courtès]

Shea Levy <address@hidden> skribis:

> On 01/24/2014 05:16 AM, Sree Harsha Totakura wrote:
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA1
>>
>>
>> On 01/23/2014 08:56 PM, Mark H Weaver wrote:
>>> We should not inherit /dev from the host system at all, but rather
>>> create it from scratch with just the things we need.  IMO, that's
>>> the only truly proper solution.
>> We can try creating a fixed set of device nodes, for example:
>> /dev/null, /dev/random, /dev/urandom, /dev/sda etc.  Has anyone tried
>> this before?
>
> Another option is to mount  a devtmpfs there, for systems which support it.

Both options look good to me.  Using devtmpfs would be easier, but I
don’t see any documentation for it.  Are its contents really
deterministic?

Thanks,
Ludo’.