diff options
| author |  Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2019-02-17 12:09:02 -0600 |
|---|---|---|
| committer | Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2019-02-17 12:09:02 -0600 |
| commit | 83ddb3e5b276613ad2be190cebf74401daebef03 (patch) | |
| tree | 542b76f3d93dec7c18bc986836e738679efa42a1 /etc/gnome-music.profile | |
| parent | Add alternatives to private-etc for profiles in /etc-fixes (diff) | |
| download | firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.gz firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.zst firejail-83ddb3e5b276613ad2be190cebf74401daebef03.zip | |
Add alternatives to private-etc for profiles in etc/
See discussion in #2399
Diffstat (limited to 'etc/gnome-music.profile')
| -rw-r--r-- | etc/gnome-music.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/gnome-music.profile b/etc/gnome-music.profile index 54e055358..c4dedcf1c 100644 --- a/etc/gnome-music.profile +++ b/etc/gnome-music.profile | |||
| @@ -40,7 +40,7 @@ tracelog | |||
| 40 | 40 | ||
| 41 | private-bin gnome-music,python*,env,gio-launch-desktop,yelp | 41 | private-bin gnome-music,python*,env,gio-launch-desktop,yelp |
| 42 | private-dev | 42 | private-dev |
| 43 | private-etc fonts,machine-id,pulse,asound.conf | 43 | private-etc alternatives,fonts,machine-id,pulse,asound.conf |
| 44 | private-tmp | 44 | private-tmp |
| 45 | 45 | ||
| 46 | noexec ${HOME} | 46 | noexec ${HOME} |