diff options
author | 2019-06-02 17:36:19 +0200 | |
---|---|---|
committer | 2019-06-02 17:36:19 +0200 | |
commit | f413040c5e4c052b4bc81706b9f12e5dcf0fa5b3 (patch) | |
tree | 840dd9d781a13c611b0b61e25161e9f6aef86779 /etc/google-play-music-desktop-player.profile | |
parent | Add pandoc.profile (diff) | |
download | firejail-f413040c5e4c052b4bc81706b9f12e5dcf0fa5b3.tar.gz firejail-f413040c5e4c052b4bc81706b9f12e5dcf0fa5b3.tar.zst firejail-f413040c5e4c052b4bc81706b9f12e5dcf0fa5b3.zip |
many profile cleanups (2)
Diffstat (limited to 'etc/google-play-music-desktop-player.profile')
-rw-r--r-- | etc/google-play-music-desktop-player.profile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/etc/google-play-music-desktop-player.profile b/etc/google-play-music-desktop-player.profile index 4932c9e42..daa385234 100644 --- a/etc/google-play-music-desktop-player.profile +++ b/etc/google-play-music-desktop-player.profile | |||
@@ -5,14 +5,19 @@ include google-play-music-desktop-player.local | |||
5 | # Persistent global definitions | 5 | # Persistent global definitions |
6 | include globals.local | 6 | include globals.local |
7 | 7 | ||
8 | # noexec /tmp breaks mpris support | ||
9 | ignore noexec /tmp | ||
10 | |||
8 | noblacklist ${HOME}/.config/Google Play Music Desktop Player | 11 | noblacklist ${HOME}/.config/Google Play Music Desktop Player |
9 | 12 | ||
10 | include disable-common.inc | 13 | include disable-common.inc |
11 | include disable-devel.inc | 14 | include disable-devel.inc |
15 | include disable-exec.inc | ||
12 | include disable-interpreters.inc | 16 | include disable-interpreters.inc |
13 | include disable-passwdmgr.inc | 17 | include disable-passwdmgr.inc |
14 | include disable-programs.inc | 18 | include disable-programs.inc |
15 | 19 | ||
20 | mkdir ${HOME}/.config/Google Play Music Desktop Player | ||
16 | # whitelist ${HOME}/.config/pulse | 21 | # whitelist ${HOME}/.config/pulse |
17 | # whitelist ${HOME}/.pulse | 22 | # whitelist ${HOME}/.pulse |
18 | whitelist ${HOME}/.config/Google Play Music Desktop Player | 23 | whitelist ${HOME}/.config/Google Play Music Desktop Player |
@@ -35,7 +40,3 @@ shell none | |||
35 | disable-mnt | 40 | disable-mnt |
36 | private-dev | 41 | private-dev |
37 | private-tmp | 42 | private-tmp |
38 | |||
39 | noexec ${HOME} | ||
40 | # noexec /tmp breaks mpris support | ||
41 | #noexec /tmp | ||