diff options
author | 2021-01-10 10:06:49 +0200 | |
---|---|---|
committer | 2021-01-10 08:06:49 +0000 | |
commit | 8d8102f249f5294d08c4dea12c3f7a7225b234e5 (patch) | |
tree | f4b434bb1f5fcb08969cdab1df4f71be4833937d /etc | |
parent | evince.profile: optionally allow bookmark/metadata access (diff) | |
download | firejail-8d8102f249f5294d08c4dea12c3f7a7225b234e5.tar.gz firejail-8d8102f249f5294d08c4dea12c3f7a7225b234e5.tar.zst firejail-8d8102f249f5294d08c4dea12c3f7a7225b234e5.zip |
discord-common.profile: Fix audio support (#3880)
Discord needs PulseAudio. Without it, it's unable to play any audio.
Diffstat (limited to 'etc')
-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 e6edbd7eb..b583f1a1d 100644 --- a/etc/profile-a-l/discord-common.profile +++ b/etc/profile-a-l/discord-common.profile | |||
@@ -23,7 +23,7 @@ whitelist ${HOME}/.config/BetterDiscord | |||
23 | whitelist ${HOME}/.local/share/betterdiscordctl | 23 | whitelist ${HOME}/.local/share/betterdiscordctl |
24 | 24 | ||
25 | private-bin bash,cut,echo,egrep,fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh | 25 | private-bin bash,cut,echo,egrep,fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh |
26 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,resolv.conf,ssl | 26 | private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl |
27 | 27 | ||
28 | # Redirect | 28 | # Redirect |
29 | include electron.profile | 29 | include electron.profile |