diff options
-rw-r--r-- | etc/inc/disable-exec.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/inc/disable-exec.inc b/etc/inc/disable-exec.inc index ee3391730..9b5c40a2b 100644 --- a/etc/inc/disable-exec.inc +++ b/etc/inc/disable-exec.inc | |||
@@ -4,6 +4,7 @@ include disable-exec.local | |||
4 | 4 | ||
5 | noexec ${HOME} | 5 | noexec ${HOME} |
6 | noexec ${RUNUSER} | 6 | noexec ${RUNUSER} |
7 | noexec /dev/mqueue | ||
7 | noexec /dev/shm | 8 | noexec /dev/shm |
8 | noexec /tmp | 9 | noexec /tmp |
9 | # /var is noexec by default for unprivileged users | 10 | # /var is noexec by default for unprivileged users |