diff options
Diffstat (limited to 'etc/imagej.profile')
-rw-r--r-- | etc/imagej.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/imagej.profile b/etc/imagej.profile index be656bafa..00ee115ed 100644 --- a/etc/imagej.profile +++ b/etc/imagej.profile | |||
@@ -34,7 +34,7 @@ protocol unix | |||
34 | seccomp | 34 | seccomp |
35 | shell none | 35 | shell none |
36 | 36 | ||
37 | 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 |
38 | private-dev | 38 | private-dev |
39 | private-tmp | 39 | private-tmp |
40 | 40 | ||