diff options
author | 2019-02-17 12:09:02 -0600 | |
---|---|---|
committer | 2019-02-17 12:09:02 -0600 | |
commit | 83ddb3e5b276613ad2be190cebf74401daebef03 (patch) | |
tree | 542b76f3d93dec7c18bc986836e738679efa42a1 /etc/ardour5.profile | |
parent | Add alternatives to private-etc for profiles in /etc-fixes (diff) | |
download | firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.gz firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.zst firejail-83ddb3e5b276613ad2be190cebf74401daebef03.zip |
Add alternatives to private-etc for profiles in etc/
See discussion in #2399
Diffstat (limited to 'etc/ardour5.profile')
-rw-r--r-- | etc/ardour5.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ardour5.profile b/etc/ardour5.profile index 3c207b5b3..377ce0a2c 100644 --- a/etc/ardour5.profile +++ b/etc/ardour5.profile | |||
@@ -36,7 +36,7 @@ shell none | |||
36 | #private-bin sh,ardour4,ardour5,ardour5-copy-mixer,ardour5-export,ardour5-fix_bbtppq,grep,sed,ldd,nm | 36 | #private-bin sh,ardour4,ardour5,ardour5-copy-mixer,ardour5-export,ardour5-fix_bbtppq,grep,sed,ldd,nm |
37 | private-cache | 37 | private-cache |
38 | private-dev | 38 | private-dev |
39 | #private-etc pulse,X11,alternatives,ardour4,ardour5,fonts,machine-id,asound.conf | 39 | #private-etc alternatives,pulse,X11,alternatives,ardour4,ardour5,fonts,machine-id,asound.conf |
40 | private-tmp | 40 | private-tmp |
41 | 41 | ||
42 | noexec ${HOME} | 42 | noexec ${HOME} |