1 files changed, 1 insertions, 2 deletions

diff --git a/etc/dino.profile b/etc/dino.profile
index e76499f8f..2db395e02 100644
--- a/etc/dino.profile
+++ b/etc/dino.profile
@@ -9,6 +9,7 @@ noblacklist ${HOME}/.local/share/dino
 
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-passwdmgr.inc
 include disable-programs.inc
@@ -39,5 +40,3 @@ private-dev
 # private-etc alternatives,fonts,ca-certificates,ssl,pki,crypto-policies # breaks server connection
 private-tmp
 
-noexec ${HOME}
-noexec /tmp