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.

5 files changed, 0 insertions, 5 deletions

diff --git a/etc/profile-a-l/beaker.profile b/etc/profile-a-l/beaker.profile
index ff21b7ee5..85c1bdec1 100644
--- a/etc/profile-a-l/beaker.profile
+++ b/etc/profile-a-l/beaker.profile
@@ -13,7 +13,6 @@ ignore include whitelist-usr-share-common.inc
 ignore include whitelist-var-common.inc
 ignore nou2f
 ignore novideo
-ignore shell none
 ignore disable-mnt
 ignore private-cache
 ignore private-dev
diff --git a/etc/profile-a-l/default.profile b/etc/profile-a-l/default.profile
index a10bbab5b..41794d173 100644
--- a/etc/profile-a-l/default.profile
+++ b/etc/profile-a-l/default.profile
@@ -40,7 +40,6 @@ notv
 novideo
 protocol unix,inet,inet6
 seccomp
-# shell none
 # tracelog
 
 # disable-mnt
diff --git a/etc/profile-a-l/fdns.profile b/etc/profile-a-l/fdns.profile
index 4dbf3c194..fe7f88a75 100644
--- a/etc/profile-a-l/fdns.profile
+++ b/etc/profile-a-l/fdns.profile
@@ -36,7 +36,6 @@ nou2f
 novideo
 protocol unix,inet,inet6,netlink
 #seccomp
-#shell none
 
 disable-mnt
 private
diff --git a/etc/profile-a-l/gnome-nettool.profile b/etc/profile-a-l/gnome-nettool.profile
index ce4e5edd8..7a9a0e336 100644
--- a/etc/profile-a-l/gnome-nettool.profile
+++ b/etc/profile-a-l/gnome-nettool.profile
@@ -35,7 +35,6 @@ notv
 nou2f
 novideo
 #seccomp
-#shell none
 
 disable-mnt
 private
diff --git a/etc/profile-a-l/jitsi-meet-desktop.profile b/etc/profile-a-l/jitsi-meet-desktop.profile
index bc2c33cfb..cc6fd2114 100644
--- a/etc/profile-a-l/jitsi-meet-desktop.profile
+++ b/etc/profile-a-l/jitsi-meet-desktop.profile
@@ -9,7 +9,6 @@ include globals.local
 # Disabled until someone reported positive feedback
 ignore nou2f
 ignore novideo
-ignore shell none
 
 ignore noexec /tmp