discord-common.profile: Fix audio support (#3880)

Discord needs PulseAudio. Without it, it's unable to play any audio.
This commit is contained in:
Nikos Chantziaras 2021-01-10 10:06:49 +02:00 committed by GitHub
parent 7c3dd381a6
commit 8d8102f249
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -23,7 +23,7 @@ whitelist ${HOME}/.config/BetterDiscord
whitelist ${HOME}/.local/share/betterdiscordctl
private-bin bash,cut,echo,egrep,fish,grep,head,sed,sh,tclsh,tr,xdg-mime,xdg-open,zsh
private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,resolv.conf,ssl
private-etc alternatives,ca-certificates,crypto-policies,fonts,group,ld.so.cache,localtime,login.defs,machine-id,password,pki,pulse,resolv.conf,ssl
# Redirect
include electron.profile