diff options
Diffstat (limited to 'etc/imagej.profile')
-rw-r--r-- | etc/imagej.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/imagej.profile b/etc/imagej.profile index 9ff0f9203..9d0ab43a0 100644 --- a/etc/imagej.profile +++ b/etc/imagej.profile | |||
@@ -16,6 +16,7 @@ noblacklist /usr/share/java | |||
16 | 16 | ||
17 | include disable-common.inc | 17 | include disable-common.inc |
18 | include disable-devel.inc | 18 | include disable-devel.inc |
19 | include disable-exec.inc | ||
19 | include disable-interpreters.inc | 20 | include disable-interpreters.inc |
20 | include disable-passwdmgr.inc | 21 | include disable-passwdmgr.inc |
21 | include disable-programs.inc | 22 | include disable-programs.inc |
@@ -40,5 +41,3 @@ private-bin imagej,bash,grep,sort,tail,tr,cut,whoami,hostname,uname,mkdir,ls,tou | |||
40 | private-dev | 41 | private-dev |
41 | private-tmp | 42 | private-tmp |
42 | 43 | ||
43 | noexec ${HOME} | ||
44 | noexec /tmp | ||