diff options
author | SkewedZeppelin <8296104+SkewedZeppelin@users.noreply.github.com> | 2018-09-15 02:23:16 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-15 02:23:16 +0000 |
commit | 15d7f2a2ab4d13098770da98d9052aad8dddebe5 (patch) | |
tree | 68f6bca8ea7334354efd52baacacb7450d2464f7 | |
parent | exit if execl fails (arg_audit) (diff) | |
parent | Amend gnome-music profile (diff) | |
download | firejail-15d7f2a2ab4d13098770da98d9052aad8dddebe5.tar.gz firejail-15d7f2a2ab4d13098770da98d9052aad8dddebe5.tar.zst firejail-15d7f2a2ab4d13098770da98d9052aad8dddebe5.zip |
Merge pull request #2115 from flacks/profiles/gnome-music
Amend gnome-music profile
-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} |