diff options
Diffstat (limited to 'etc/ardour5.profile')
| -rw-r--r-- | etc/ardour5.profile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/etc/ardour5.profile b/etc/ardour5.profile index 377ce0a2c..211a32e22 100644 --- a/etc/ardour5.profile +++ b/etc/ardour5.profile | |||
| @@ -14,6 +14,7 @@ noblacklist ${MUSIC} | |||
| 14 | 14 | ||
| 15 | include disable-common.inc | 15 | include disable-common.inc |
| 16 | include disable-devel.inc | 16 | include disable-devel.inc |
| 17 | include disable-exec.inc | ||
| 17 | include disable-interpreters.inc | 18 | include disable-interpreters.inc |
| 18 | include disable-passwdmgr.inc | 19 | include disable-passwdmgr.inc |
| 19 | include disable-programs.inc | 20 | include disable-programs.inc |
| @@ -39,5 +40,3 @@ private-dev | |||
| 39 | #private-etc alternatives,pulse,X11,alternatives,ardour4,ardour5,fonts,machine-id,asound.conf | 40 | #private-etc alternatives,pulse,X11,alternatives,ardour4,ardour5,fonts,machine-id,asound.conf |
| 40 | private-tmp | 41 | private-tmp |
| 41 | 42 | ||
| 42 | noexec ${HOME} | ||
| 43 | noexec /tmp | ||