diff options
Diffstat (limited to 'etc/ark.profile')
-rw-r--r-- | etc/ark.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/ark.profile b/etc/ark.profile index 2ed25a4e6..38bd5246e 100644 --- a/etc/ark.profile +++ b/etc/ark.profile | |||
@@ -29,3 +29,6 @@ shell none | |||
29 | private-dev | 29 | private-dev |
30 | # private-etc | 30 | # private-etc |
31 | private-tmp | 31 | private-tmp |
32 | |||
33 | noexec ${HOME} | ||
34 | noexec /tmp | ||