diff options
Diffstat (limited to 'etc/ark.profile')
| -rw-r--r-- | etc/ark.profile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/etc/ark.profile b/etc/ark.profile index 76b1d9394..43c61f940 100644 --- a/etc/ark.profile +++ b/etc/ark.profile | |||
| @@ -30,9 +30,7 @@ protocol unix | |||
| 30 | seccomp | 30 | seccomp |
| 31 | shell none | 31 | shell none |
| 32 | 32 | ||
| 33 | # private-bin | ||
| 34 | private-dev | 33 | private-dev |
| 35 | # private-etc | ||
| 36 | private-tmp | 34 | private-tmp |
| 37 | 35 | ||
| 38 | noexec ${HOME} | 36 | noexec ${HOME} |