diff options
author | 2021-08-01 14:05:24 +0200 | |
---|---|---|
committer | 2021-08-01 14:05:24 +0200 | |
commit | ed1f0c08828cfc3820eadcd4ba27222632385cf6 (patch) | |
tree | 3d7f2fe059f9f82a6f7b8b4788af3aa397cf3a2f /etc/profile-a-l/discord-common.profile | |
parent | Add --ids-* to zsh completion (diff) | |
download | firejail-ed1f0c08828cfc3820eadcd4ba27222632385cf6.tar.gz firejail-ed1f0c08828cfc3820eadcd4ba27222632385cf6.tar.zst firejail-ed1f0c08828cfc3820eadcd4ba27222632385cf6.zip |
Add electron[0-9]{0,2} to all electron redirect …
…profiles with private-bin
Diffstat (limited to 'etc/profile-a-l/discord-common.profile')
-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 19e7bd9ab..2613027ba 100644 --- a/etc/profile-a-l/discord-common.profile +++ b/etc/profile-a-l/discord-common.profile | |||
@@ -23,7 +23,7 @@ ignore novideo | |||
23 | whitelist ${HOME}/.config/BetterDiscord | 23 | whitelist ${HOME}/.config/BetterDiscord |
24 | whitelist ${HOME}/.local/share/betterdiscordctl | 24 | whitelist ${HOME}/.local/share/betterdiscordctl |
25 | 25 | ||
26 | private-bin bash,cut,echo,egrep,fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh | 26 | private-bin bash,cut,echo,egrep,electron,electron[0-9],electron[0-9][0-9],fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh |
27 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl | 27 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl |
28 | 28 | ||
29 | join-or-start discord | 29 | join-or-start discord |