diff options
Diffstat (limited to 'etc/gradio.profile')
-rw-r--r-- | etc/gradio.profile | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/etc/gradio.profile b/etc/gradio.profile new file mode 100644 index 000000000..1a7ff60ed --- /dev/null +++ b/etc/gradio.profile | |||
@@ -0,0 +1,39 @@ | |||
1 | # Firejail profile for gradio | ||
2 | # This file is overwritten after every install/update | ||
3 | # Persistent local customizations | ||
4 | include /etc/firejail/gradio.local | ||
5 | # Persistent global definitions | ||
6 | include /etc/firejail/globals.local | ||
7 | |||
8 | noblacklist ${HOME}/.local/share/gradio | ||
9 | mkdir ${HOME}/.local/share/gradio | ||
10 | whitelist ${HOME}/.local/share/gradio | ||
11 | whitelist ${HOME}/.cache/gradio | ||
12 | |||
13 | include /etc/firejail/disable-common.inc | ||
14 | include /etc/firejail/disable-devel.inc | ||
15 | include /etc/firejail/disable-interpreters.inc | ||
16 | include /etc/firejail/disable-passwdmgr.inc | ||
17 | include /etc/firejail/disable-programs.inc | ||
18 | |||
19 | include /etc/firejail/whitelist-common.inc | ||
20 | include /etc/firejail/whitelist-var-common.inc | ||
21 | |||
22 | caps.drop all | ||
23 | netfilter | ||
24 | no3d | ||
25 | nodvd | ||
26 | nogroups | ||
27 | nonewprivs | ||
28 | noroot | ||
29 | notv | ||
30 | novideo | ||
31 | protocol unix,inet,inet6 | ||
32 | seccomp | ||
33 | shell none | ||
34 | |||
35 | private-etc asound.conf,ca-certificates,fonts,host.conf,hostname,hosts,pulse,resolv.conf,ssl,pki,crypto-policies,gtk-3.0,xdg,machine-id | ||
36 | private-tmp | ||
37 | |||
38 | noexec ${HOME} | ||
39 | noexec /tmp | ||