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. |