1 files changed, 1 insertions, 2 deletions

diff --git a/etc/min.profile b/etc/min.profile
index eb1163175..e775ed42d 100644
--- a/etc/min.profile
+++ b/etc/min.profile
@@ -13,6 +13,7 @@ noblacklist ${HOME}/.local/share/pki
 
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-programs.inc
 
@@ -48,5 +49,3 @@ private-etc alternatives,ca-certificates,ssl,machine-id,dconf,selinux,passwd,gro
 private-tmp
 
 # memory-deny-write-execute
-noexec ${HOME}
-noexec /tmp