diff options
| author |  glitsj16 <glitsj16@users.noreply.github.com> | 2023-07-19 12:54:53 +0000 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-07-19 12:54:53 +0000 |
| commit | 9863f982ca148f687a56690e2aeed10014d05e59 (patch) | |
| tree | 4bb5bddc7a92a66564031f61d67abe2d4a347500 /src/man/firejail-profile.5.in | |
| parent | zsh: add shell completion for --tab (diff) | |
| download | firejail-9863f982ca148f687a56690e2aeed10014d05e59.tar.gz firejail-9863f982ca148f687a56690e2aeed10014d05e59.tar.zst firejail-9863f982ca148f687a56690e2aeed10014d05e59.zip | |
modif: drop deprecated 'shell' option references (#5894)
The `shell` option has been removed. Remove stale references.
This does NOT remove `shell none`-related code comments in:
- src/firejail/fs_lib.c (L433-L441)
- src/firejail/join.c (L415-L417)
Relates to #5196.
Suggested by #5891.
Diffstat (limited to 'src/man/firejail-profile.5.in')
| -rw-r--r-- | src/man/firejail-profile.5.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/man/firejail-profile.5.in b/src/man/firejail-profile.5.in index fa294d888..3a678b14f 100644 --- a/src/man/firejail-profile.5.in +++ b/src/man/firejail-profile.5.in | |||
| @@ -799,11 +799,6 @@ Disable video capture devices. | |||
| 799 | .TP | 799 | .TP |
| 800 | \fBmachine-id | 800 | \fBmachine-id |
| 801 | Spoof id number in /etc/machine-id file - a new random id is generated inside the sandbox. | 801 | Spoof id number in /etc/machine-id file - a new random id is generated inside the sandbox. |
| 802 | .TP | ||
| 803 | \fBshell none | ||
| 804 | Run the program directly, without a shell. | ||
| 805 | |||
| 806 | |||
| 807 | #ifdef HAVE_NETWORK | 802 | #ifdef HAVE_NETWORK |
| 808 | .SH Networking | 803 | .SH Networking |
| 809 | Networking features available in profile files. | 804 | Networking features available in profile files. |