From dd3c0ee765be972334b38a8df2556dc502bc2012 Mon Sep 17 00:00:00 2001
From: Jean Lucas <jean@4ray.co>
Date: Fri, 14 Sep 2018 22:08:14 -0400
Subject: Amend gnome-music profile

- At least gnome-music 3.28.2 requires 'env'
- Add 'gio-launch-desktop' and 'yelp' so launching the "Help" menu
doesn't crash the application
- Enabling the disabled private-etc tested to be working
---
 etc/gnome-music.profile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/gnome-music.profile b/etc/gnome-music.profile
index eaec627c6..819c40c98 100644
--- a/etc/gnome-music.profile
+++ b/etc/gnome-music.profile
@@ -37,9 +37,9 @@ seccomp
 shell none
 tracelog
 
-private-bin gnome-music,python*
+private-bin gnome-music,python*,env,gio-launch-desktop,yelp
 private-dev
-# private-etc fonts,machine-id,pulse,asound.conf
+private-etc fonts,machine-id,pulse,asound.conf
 private-tmp
 
 noexec ${HOME}
-- 
cgit v1.2.3-54-g00ecf