diff options
Diffstat (limited to 'etc/pdfmod.profile')
-rw-r--r-- | etc/pdfmod.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/pdfmod.profile b/etc/pdfmod.profile index 3b6116c85..177070e83 100644 --- a/etc/pdfmod.profile +++ b/etc/pdfmod.profile | |||
@@ -12,6 +12,7 @@ noblacklist ${DOCUMENTS} | |||
12 | 12 | ||
13 | include disable-common.inc | 13 | include disable-common.inc |
14 | include disable-devel.inc | 14 | include disable-devel.inc |
15 | include disable-exec.inc | ||
15 | include disable-interpreters.inc | 16 | include disable-interpreters.inc |
16 | include disable-passwdmgr.inc | 17 | include disable-passwdmgr.inc |
17 | include disable-programs.inc | 18 | include disable-programs.inc |
@@ -40,5 +41,3 @@ shell none | |||
40 | private-dev | 41 | private-dev |
41 | private-tmp | 42 | private-tmp |
42 | 43 | ||
43 | noexec ${HOME} | ||
44 | noexec /tmp | ||