>  		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