diff options
author | Jean Lucas <jean@4ray.co> | 2018-04-13 18:21:33 -0400 |
---|---|---|
committer | Jean Lucas <jean@4ray.co> | 2018-04-14 01:41:31 -0400 |
commit | e09d1681f0e5b1bd76f766808931794cd1454a8c (patch) | |
tree | 350d73f0b921cec14c4a5f9224f33c9619f69ff6 | |
parent | Merge pull request #1886 from smitsohu/java (diff) | |
download | firejail-e09d1681f0e5b1bd76f766808931794cd1454a8c.tar.gz firejail-e09d1681f0e5b1bd76f766808931794cd1454a8c.tar.zst firejail-e09d1681f0e5b1bd76f766808931794cd1454a8c.zip |
Amend Discord profile
Add a few missing programs that Discord wants to private-bin, and add
'machine-id' to private-etc, so that sound works.
-rw-r--r-- | etc/discord.profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/discord.profile b/etc/discord.profile index bb59ed42d..a0d72851c 100644 --- a/etc/discord.profile +++ b/etc/discord.profile | |||
@@ -24,9 +24,9 @@ novideo | |||
24 | protocol unix,inet,inet6,netlink | 24 | protocol unix,inet,inet6,netlink |
25 | seccomp | 25 | seccomp |
26 | 26 | ||
27 | private-bin discord,sh,xdg-mime | 27 | private-bin discord,sh,xdg-mime,tr,sed,echo,head,cut,xdg-open,grep,egrep,iceweasel,firefox,seamonkey,epiphany,konqueror,chromium,google-chrome |
28 | private-dev | 28 | private-dev |
29 | private-etc fonts | 29 | private-etc fonts,machine-id |
30 | private-tmp | 30 | private-tmp |
31 | 31 | ||
32 | noexec ${HOME} | 32 | noexec ${HOME} |