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