diff options
author | 2019-02-17 12:09:02 -0600 | |
---|---|---|
committer | 2019-02-17 12:09:02 -0600 | |
commit | 83ddb3e5b276613ad2be190cebf74401daebef03 (patch) | |
tree | 542b76f3d93dec7c18bc986836e738679efa42a1 /etc/gradio.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/gradio.profile')
-rw-r--r-- | etc/gradio.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/gradio.profile b/etc/gradio.profile index e7f415090..eec7376b4 100644 --- a/etc/gradio.profile +++ b/etc/gradio.profile | |||
@@ -34,7 +34,7 @@ protocol unix,inet,inet6 | |||
34 | seccomp | 34 | seccomp |
35 | shell none | 35 | shell none |
36 | 36 | ||
37 | private-etc asound.conf,ca-certificates,fonts,host.conf,hostname,hosts,pulse,resolv.conf,ssl,pki,crypto-policies,gtk-3.0,xdg,machine-id | 37 | private-etc alternatives,asound.conf,ca-certificates,fonts,host.conf,hostname,hosts,pulse,resolv.conf,ssl,pki,crypto-policies,gtk-3.0,xdg,machine-id |
38 | private-tmp | 38 | private-tmp |
39 | 39 | ||
40 | noexec ${HOME} | 40 | noexec ${HOME} |