diff options
Diffstat (limited to 'etc/profile-m-z')
-rw-r--r-- | etc/profile-m-z/mediathekview.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/profile-m-z/mediathekview.profile b/etc/profile-m-z/mediathekview.profile index f73ef0935..184dac203 100644 --- a/etc/profile-m-z/mediathekview.profile +++ b/etc/profile-m-z/mediathekview.profile | |||
@@ -17,6 +17,8 @@ noblacklist ${HOME}/.mediathek3 | |||
17 | noblacklist ${HOME}/.mplayer | 17 | noblacklist ${HOME}/.mplayer |
18 | noblacklist ${VIDEOS} | 18 | noblacklist ${VIDEOS} |
19 | 19 | ||
20 | ignore noexec /tmp | ||
21 | |||
20 | # Allow java (blacklisted by disable-devel.inc) | 22 | # Allow java (blacklisted by disable-devel.inc) |
21 | include allow-java.inc | 23 | include allow-java.inc |
22 | 24 | ||
@@ -27,6 +29,7 @@ include disable-interpreters.inc | |||
27 | include disable-programs.inc | 29 | include disable-programs.inc |
28 | include disable-xdg.inc | 30 | include disable-xdg.inc |
29 | 31 | ||
32 | whitelist ${HOME}/.mediathek3 | ||
30 | include whitelist-var-common.inc | 33 | include whitelist-var-common.inc |
31 | 34 | ||
32 | caps.drop all | 35 | caps.drop all |