From d4f41bc1e5ad352c159ae84dad4d68667f672384 Mon Sep 17 00:00:00 2001 From: Spacewalker2 Date: Sat, 8 Jan 2022 13:04:46 +0100 Subject: Fix MediathekView Profile Related to issue #4839. --- etc/profile-m-z/mediathekview.profile | 3 +++ 1 file changed, 3 insertions(+) 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 noblacklist ${HOME}/.mplayer noblacklist ${VIDEOS} +ignore noexec /tmp + # Allow java (blacklisted by disable-devel.inc) include allow-java.inc @@ -27,6 +29,7 @@ include disable-interpreters.inc include disable-programs.inc include disable-xdg.inc +whitelist ${HOME}/.mediathek3 include whitelist-var-common.inc caps.drop all -- cgit v1.2.3-54-g00ecf