aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--etc/midori.profile4
-rw-r--r--etc/min.profile3
2 files changed, 7 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
diff --git a/etc/min.profile b/etc/min.profile
index e775ed42d..eec81677d 100644
--- a/etc/min.profile
+++ b/etc/min.profile
@@ -11,6 +11,9 @@ noblacklist ${HOME}/.config/Min
11noblacklist ${HOME}/.pki 11noblacklist ${HOME}/.pki
12noblacklist ${HOME}/.local/share/pki 12noblacklist ${HOME}/.local/share/pki
13 13
14# noexec ${HOME} breaks DRM binaries.
15ignore noexec ${HOME}
16
14include disable-common.inc 17include disable-common.inc
15include disable-devel.inc 18include disable-devel.inc
16include disable-exec.inc 19include disable-exec.inc