diff options
author | 2018-07-09 09:06:06 -0400 | |
---|---|---|
committer | 2018-07-09 09:06:06 -0400 | |
commit | ea9e77b7ac6059dd4cb63f88133b889897d2b1a3 (patch) | |
tree | 1a7d52133709540014f94622ea8386a53c0b79cf /src/man/firejail.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.txt')
-rw-r--r-- | src/man/firejail.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/man/firejail.txt b/src/man/firejail.txt index 24d4bbd8c..74a9a9da9 100644 --- a/src/man/firejail.txt +++ b/src/man/firejail.txt | |||
@@ -678,6 +678,16 @@ Same as "firejail --join=name" if sandbox with specified name exists, otherwise | |||
678 | Note that in contrary to other join options there is respective profile option. | 678 | Note that in contrary to other join options there is respective profile option. |
679 | 679 | ||
680 | .TP | 680 | .TP |
681 | \fB\-\-keep-dev-shm | ||
682 | /dev/shm directory is untouched (even with --private-dev) | ||
683 | .br | ||
684 | |||
685 | .br | ||
686 | Example: | ||
687 | .br | ||
688 | $ firejail --keep-dev-shm --private-dev | ||
689 | |||
690 | .TP | ||
681 | \fB\-\-keep-var-tmp | 691 | \fB\-\-keep-var-tmp |
682 | /var/tmp directory is untouched. | 692 | /var/tmp directory is untouched. |
683 | .br | 693 | .br |