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