diff options
author | 2018-07-04 11:44:37 +0200 | |
---|---|---|
committer | 2018-07-04 11:44:37 +0200 | |
commit | 9483c079250d690a50301c2231d4f6c7f2f10db5 (patch) | |
tree | a079857c11f8835262cb6feaad72bdc8d4c11581 /etc | |
parent | Fix geary profile - see issue #2018 (diff) | |
download | firejail-9483c079250d690a50301c2231d4f6c7f2f10db5.tar.gz firejail-9483c079250d690a50301c2231d4f6c7f2f10db5.tar.zst firejail-9483c079250d690a50301c2231d4f6c7f2f10db5.zip |
Creating the gradio profile and editing the geary profile
Diffstat (limited to 'etc')
-rw-r--r-- | etc/geary.profile | 5 | ||||
-rw-r--r-- | etc/gradio.profile | 39 |
2 files changed, 42 insertions, 2 deletions
diff --git a/etc/geary.profile b/etc/geary.profile index 5c01dec69..c13fc8593 100644 --- a/etc/geary.profile +++ b/etc/geary.profile | |||
@@ -12,14 +12,15 @@ noblacklist ${HOME}/.gnupg | |||
12 | noblacklist ${HOME}/.local/share/geary | 12 | noblacklist ${HOME}/.local/share/geary |
13 | 13 | ||
14 | mkdir ${HOME}/.gnupg | 14 | mkdir ${HOME}/.gnupg |
15 | mkdir ${HOME}/.config/geary | ||
16 | mkdir ${HOME}/.local/share/geary | 15 | mkdir ${HOME}/.local/share/geary |
16 | |||
17 | whitelist ${HOME}/.gnupg | 17 | whitelist ${HOME}/.gnupg |
18 | whitelist ${HOME}/.config/geary | 18 | whitelist ${HOME}/.config/geary |
19 | whitelist ${HOME}/.local/share/geary | 19 | whitelist ${HOME}/.local/share/geary |
20 | |||
20 | include /etc/firejail/whitelist-common.inc | 21 | include /etc/firejail/whitelist-common.inc |
21 | 22 | ||
22 | ignore dbus | 23 | ignore nodbus |
23 | ignore private-tmp | 24 | ignore private-tmp |
24 | 25 | ||
25 | read-only ${HOME}/.config/mimeapps.list | 26 | read-only ${HOME}/.config/mimeapps.list |
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 | ||