aboutsummaryrefslogtreecommitdiffstats
path: root/etc/midori.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/midori.profile')
-rw-r--r--etc/midori.profile4
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/midori.profile b/etc/midori.profile
index 4e9a6c63d..d59a6a16b 100644
--- a/etc/midori.profile
+++ b/etc/midori.profile
@@ -13,8 +13,12 @@ noblacklist ${HOME}/.local/share/midori
13noblacklist ${HOME}/.pki 13noblacklist ${HOME}/.pki
14noblacklist ${HOME}/.local/share/pki 14noblacklist ${HOME}/.local/share/pki
15 15
16# noexec ${HOME} breaks DRM binaries.
17ignore noexec ${HOME}
18
16include disable-common.inc 19include disable-common.inc
17include disable-devel.inc 20include disable-devel.inc
21include disable-exec.inc
18include disable-interpreters.inc 22include disable-interpreters.inc
19include disable-programs.inc 23include disable-programs.inc
20 24