> if os.uname()[0] == "Linux":
> self.mounts.append("devpts")
> + self.mounts.append("shm")Besides avoiding collisions, a fresh mount is better than --bind mounting for Debian-based distributions which symlink into /run: # ls -ld /dev/shm lrwxrwxrwx 1 root root 8 Jan 1 16:42 /dev/shm -> /run/shm # cat /etc/os-release PRETTY_NAME="Debian GNU/Linux jessie/sid" … Since binding the host's /run into the container would clearly be crazy ;). The patch looks good to me. Cheers, Trevor -- This email may be signed or encrypted with GnuPG (http://www.gnupg.org). For more information, see http://en.wikipedia.org/wiki/Pretty_Good_Privacy
signature.asc
Description: OpenPGP digital signature
