aboutsummaryrefslogtreecommitdiffstats
path: root/etc/min.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/min.profile')
-rw-r--r--etc/min.profile3
1 files changed, 3 insertions, 0 deletions
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