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} |