On 01/11/2012 10:36 AM, Ionut Biru wrote:
On 01/11/2012 03:02 PM, Thomas Bächler wrote:
Am 11.01.2012 12:40, schrieb Gerardo Exequiel Pozzi:
Ouch, partially true ( partially because udev does not create devices anymore http://git.kernel.org/?p=linux/hotplug/udev.git;a=commitdiff;h=220893b3cbdbf... and such device will be outside the chroot in devtmpfs.
So (chroot)/dev should be devtmpfs here...
There were reasons against that, I'm afraid. I have no good solution for this problem right now, let's first find out why we build a tmpfs instead of bind-mounting the host /dev.
We used to lose /dev entries on host when somebody started a second compilation on the same chroot when rsync is used to clean the build directory.
No idea if we have this bug anymore since now we have proper locking.
mmmm I guess that is related to /dev/pts, that is now mounted with -o newinstance PS: In that case (keeping devtools like now), is the time to do something that I have pending since long time in mkarchiso: make it independent from mkarchroot. -- Gerardo Exequiel Pozzi \cos^2\alpha + \sin^2\alpha = 1