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