diff options
author | ಚಿರಾಗ್ ನಟರಾಜ್ <chiraag.nataraj@gmail.com> | 2018-07-09 09:06:06 -0400 |
---|---|---|
committer | ಚಿರಾಗ್ ನಟರಾಜ್ <chiraag.nataraj@gmail.com> | 2018-07-09 09:06:06 -0400 |
commit | ea9e77b7ac6059dd4cb63f88133b889897d2b1a3 (patch) | |
tree | 1a7d52133709540014f94622ea8386a53c0b79cf /src/man/firejail-profile.txt | |
parent | Add personality to allow-debuggers (see #2021) (diff) | |
download | firejail-ea9e77b7ac6059dd4cb63f88133b889897d2b1a3.tar.gz firejail-ea9e77b7ac6059dd4cb63f88133b889897d2b1a3.tar.zst firejail-ea9e77b7ac6059dd4cb63f88133b889897d2b1a3.zip |
Add documentation for keep-dev-shm option
Diffstat (limited to 'src/man/firejail-profile.txt')
-rw-r--r-- | src/man/firejail-profile.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/man/firejail-profile.txt b/src/man/firejail-profile.txt index 50455b038..767cf89f4 100644 --- a/src/man/firejail-profile.txt +++ b/src/man/firejail-profile.txt | |||
@@ -233,6 +233,9 @@ The same directory is also bind-mounted over /sbin, /usr/bin and /usr/sbin. | |||
233 | Create a new /dev directory. Only disc, dri, null, full, zero, tty, pts, ptmx, | 233 | Create a new /dev directory. Only disc, dri, null, full, zero, tty, pts, ptmx, |
234 | random, snd, urandom, video, log and shm devices are available. | 234 | random, snd, urandom, video, log and shm devices are available. |
235 | .TP | 235 | .TP |
236 | \fBkeep-dev-shm | ||
237 | /dev/shm directory is untouched (even with private-dev). | ||
238 | .TP | ||
236 | \fBprivate-etc file,directory | 239 | \fBprivate-etc file,directory |
237 | Build a new /etc in a temporary | 240 | Build a new /etc in a temporary |
238 | filesystem, and copy the files and directories in the list. | 241 | filesystem, and copy the files and directories in the list. |