1 |
> if os.uname()[0] == "Linux": |
2 |
> self.mounts.append("devpts") |
3 |
> + self.mounts.append("shm") |
4 |
|
5 |
Besides avoiding collisions, a fresh mount is better than --bind |
6 |
mounting for Debian-based distributions which symlink into /run: |
7 |
|
8 |
# ls -ld /dev/shm |
9 |
lrwxrwxrwx 1 root root 8 Jan 1 16:42 /dev/shm -> /run/shm |
10 |
# cat /etc/os-release |
11 |
PRETTY_NAME="Debian GNU/Linux jessie/sid" |
12 |
… |
13 |
|
14 |
Since binding the host's /run into the container would clearly be |
15 |
crazy ;). |
16 |
|
17 |
The patch looks good to me. |
18 |
|
19 |
Cheers, |
20 |
Trevor |
21 |
|
22 |
-- |
23 |
This email may be signed or encrypted with GnuPG (http://www.gnupg.org). |
24 |
For more information, see http://en.wikipedia.org/wiki/Pretty_Good_Privacy |