From e09d1681f0e5b1bd76f766808931794cd1454a8c Mon Sep 17 00:00:00 2001
From: Jean Lucas <jean@4ray.co>
Date: Fri, 13 Apr 2018 18:21:33 -0400
Subject: 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.
---
 etc/discord.profile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'etc')

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
 protocol unix,inet,inet6,netlink
 seccomp
 
-private-bin discord,sh,xdg-mime
+private-bin discord,sh,xdg-mime,tr,sed,echo,head,cut,xdg-open,grep,egrep,iceweasel,firefox,seamonkey,epiphany,konqueror,chromium,google-chrome
 private-dev
-private-etc fonts
+private-etc fonts,machine-id
 private-tmp
 
 noexec ${HOME}
-- 
cgit v1.2.3-54-g00ecf