1 files changed, 1 insertions, 2 deletions

diff --git a/etc/polari.profile b/etc/polari.profile
index 5fa717cb3..b9f81eece 100644
--- a/etc/polari.profile
+++ b/etc/polari.profile
@@ -9,6 +9,7 @@ include globals.local
 
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-programs.inc
 
@@ -45,5 +46,3 @@ disable-mnt
 private-dev
 private-tmp
 
-noexec ${HOME}
-noexec /tmp