diff options
| author |  Austin Morton <austinpmorton@gmail.com> | 2019-05-20 20:50:48 -0400 |
|---|---|---|
| committer | Austin Morton <austinpmorton@gmail.com> | 2019-05-20 20:59:49 -0400 |
| commit | d380de39f039cf23a992b08c506cc200a7cf6292 (patch) | |
| tree | 681aa830ee7c657a7bfe2e0c8de92d91e38d19bf /src/man/firejail-profile.txt | |
| parent | Create a profile for mp3splt-gtk (diff) | |
| download | firejail-d380de39f039cf23a992b08c506cc200a7cf6292.tar.gz firejail-d380de39f039cf23a992b08c506cc200a7cf6292.tar.zst firejail-d380de39f039cf23a992b08c506cc200a7cf6292.zip | |
Add deterministic-exit-code option to ensure firejail exits with the first childs exit code regardless of the termination ordering of orphaned children
Diffstat (limited to 'src/man/firejail-profile.txt')
| -rw-r--r-- | src/man/firejail-profile.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/man/firejail-profile.txt b/src/man/firejail-profile.txt index 703fac30f..cbc745af7 100644 --- a/src/man/firejail-profile.txt +++ b/src/man/firejail-profile.txt | |||
| @@ -661,6 +661,10 @@ instead of the default one. | |||
| 661 | Join the sandbox identified by name or start a new one. | 661 | Join the sandbox identified by name or start a new one. |
| 662 | Same as "firejail --join=sandboxname" command if sandbox with specified name exists, otherwise same as "name sandboxname". | 662 | Same as "firejail --join=sandboxname" command if sandbox with specified name exists, otherwise same as "name sandboxname". |
| 663 | 663 | ||
| 664 | .TP | ||
| 665 | \fBdeterministic-exit-code | ||
| 666 | Always exit firejail with the first childs exit status. The default behavior is to use the exit status of the final child to exit, which can be nondeterministic. | ||
| 667 | |||
| 664 | .SH FILES | 668 | .SH FILES |
| 665 | /etc/firejail/filename.profile, $HOME/.config/firejail/filename.profile | 669 | /etc/firejail/filename.profile, $HOME/.config/firejail/filename.profile |
| 666 | 670 | ||