diff options
Diffstat (limited to 'etc/imagej.profile')
-rw-r--r-- | etc/imagej.profile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/etc/imagej.profile b/etc/imagej.profile index 9d0ab43a0..00ee115ed 100644 --- a/etc/imagej.profile +++ b/etc/imagej.profile | |||
@@ -8,11 +8,8 @@ include globals.local | |||
8 | 8 | ||
9 | noblacklist ${HOME}/.imagej | 9 | noblacklist ${HOME}/.imagej |
10 | 10 | ||
11 | # Allow access to java | 11 | # Allow java (blacklisted by disable-devel.inc) |
12 | noblacklist ${PATH}/java | 12 | include allow-java.inc |
13 | noblacklist /usr/lib/java | ||
14 | noblacklist /etc/java | ||
15 | noblacklist /usr/share/java | ||
16 | 13 | ||
17 | include disable-common.inc | 14 | include disable-common.inc |
18 | include disable-devel.inc | 15 | include disable-devel.inc |
@@ -37,7 +34,7 @@ protocol unix | |||
37 | seccomp | 34 | seccomp |
38 | shell none | 35 | shell none |
39 | 36 | ||
40 | private-bin imagej,bash,grep,sort,tail,tr,cut,whoami,hostname,uname,mkdir,ls,touch,free,awk,update-java-alternatives,basename,xprop,rm,ln | 37 | private-bin awk,basename,bash,cut,free,grep,hostname,imagej,ln,ls,mkdir,rm,sort,tail,touch,tr,uname,update-java-alternatives,whoami,xprop |
41 | private-dev | 38 | private-dev |
42 | private-tmp | 39 | private-tmp |
43 | 40 | ||