diff options
author | rusty-snake <41237666+rusty-snake@users.noreply.github.com> | 2020-07-20 06:21:53 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-20 06:21:53 +0000 |
commit | a9aabada2f61dcdc9ee9272c69f24991776767a6 (patch) | |
tree | 772204b7a65fbf8d29066f6e9bea48b221c7381b | |
parent | fixups (diff) | |
download | firejail-a9aabada2f61dcdc9ee9272c69f24991776767a6.tar.gz firejail-a9aabada2f61dcdc9ee9272c69f24991776767a6.tar.zst firejail-a9aabada2f61dcdc9ee9272c69f24991776767a6.zip |
Update discord-common.profile
fixes #3528
Are there any reasons why discord has no shell none?
-rw-r--r-- | etc/profile-a-l/discord-common.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/profile-a-l/discord-common.profile b/etc/profile-a-l/discord-common.profile index cbeef798f..35bea4aaa 100644 --- a/etc/profile-a-l/discord-common.profile +++ b/etc/profile-a-l/discord-common.profile | |||
@@ -32,7 +32,7 @@ novideo | |||
32 | protocol unix,inet,inet6,netlink | 32 | protocol unix,inet,inet6,netlink |
33 | seccomp !chroot | 33 | seccomp !chroot |
34 | 34 | ||
35 | private-bin bash,cut,echo,egrep,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh | 35 | private-bin bash,cut,echo,egrep,fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh |
36 | private-dev | 36 | private-dev |
37 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,resolv.conf,ssl | 37 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,resolv.conf,ssl |
38 | private-tmp | 38 | private-tmp |