diff options
Diffstat (limited to 'etc/mypaint.profile')
| -rw-r--r-- | etc/mypaint.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/mypaint.profile b/etc/mypaint.profile index 21fd841cf..615bb60d1 100644 --- a/etc/mypaint.profile +++ b/etc/mypaint.profile | |||
| @@ -15,6 +15,7 @@ noblacklist ${PICTURES} | |||
| 15 | 15 | ||
| 16 | include disable-common.inc | 16 | include disable-common.inc |
| 17 | include disable-devel.inc | 17 | include disable-devel.inc |
| 18 | include disable-exec.inc | ||
| 18 | include disable-interpreters.inc | 19 | include disable-interpreters.inc |
| 19 | include disable-passwdmgr.inc | 20 | include disable-passwdmgr.inc |
| 20 | include disable-programs.inc | 21 | include disable-programs.inc |
| @@ -44,5 +45,3 @@ private-dev | |||
| 44 | private-etc alternatives,fonts,gtk-3.0,dconf | 45 | private-etc alternatives,fonts,gtk-3.0,dconf |
| 45 | private-tmp | 46 | private-tmp |
| 46 | 47 | ||
| 47 | noexec ${HOME} | ||
| 48 | noexec /tmp | ||