diff options
author | Jean Lucas <jean@4ray.co> | 2018-09-14 22:08:14 -0400 |
---|---|---|
committer | Jean Lucas <jean@4ray.co> | 2018-09-14 22:21:04 -0400 |
commit | dd3c0ee765be972334b38a8df2556dc502bc2012 (patch) | |
tree | 68f6bca8ea7334354efd52baacacb7450d2464f7 | |
parent | exit if execl fails (arg_audit) (diff) | |
download | firejail-dd3c0ee765be972334b38a8df2556dc502bc2012.tar.gz firejail-dd3c0ee765be972334b38a8df2556dc502bc2012.tar.zst firejail-dd3c0ee765be972334b38a8df2556dc502bc2012.zip |
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
-rw-r--r-- | etc/gnome-music.profile | 4 |
1 files 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 | |||
37 | shell none | 37 | shell none |
38 | tracelog | 38 | tracelog |
39 | 39 | ||
40 | private-bin gnome-music,python* | 40 | private-bin gnome-music,python*,env,gio-launch-desktop,yelp |
41 | private-dev | 41 | private-dev |
42 | # private-etc fonts,machine-id,pulse,asound.conf | 42 | private-etc fonts,machine-id,pulse,asound.conf |
43 | private-tmp | 43 | private-tmp |
44 | 44 | ||
45 | noexec ${HOME} | 45 | noexec ${HOME} |