17 Aug
2013
17 Aug
'13
8:18 a.m.
Am 15.08.2013 18:00, schrieb Vadim Ushakov:
mkarchiso init executes command mount -t devpts devpts ${work_dir}/root-image/dev/pts Executing that command seems to drop mount options of /dev/pts, now we have both devpts mount points have the same options: vadim@aquila:~$ mount -t devpts
First, this seems like a kernel bug. The old mount point should not be changed in this case - if they necessarily must have the same option, the new mount point should get the options of the existing one. One should either use a --bind mount call or use the 'newinstance' option. The latter brings a few small issues, but those can be worked around.