diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/Fritzing.profile | 35 | ||||
-rw-r--r-- | etc/disable-programs.inc | 1 |
2 files changed, 36 insertions, 0 deletions
diff --git a/etc/Fritzing.profile b/etc/Fritzing.profile new file mode 100644 index 000000000..0c4ad0647 --- /dev/null +++ b/etc/Fritzing.profile | |||
@@ -0,0 +1,35 @@ | |||
1 | # Firejail profile for fritzing | ||
2 | # This file is overwritten after every install/update | ||
3 | # Persistent local customizations | ||
4 | include /etc/firejail/Fritzing.local | ||
5 | # Persistent global definitions | ||
6 | include /etc/firejail/globals.local | ||
7 | |||
8 | noblacklist ${HOME}/.config/Fritzing | ||
9 | |||
10 | include /etc/firejail/disable-common.inc | ||
11 | include /etc/firejail/disable-devel.inc | ||
12 | include /etc/firejail/disable-passwdmgr.inc | ||
13 | include /etc/firejail/disable-programs.inc | ||
14 | |||
15 | include /etc/firejail/whitelist-var-common.inc | ||
16 | |||
17 | caps.drop all | ||
18 | ipc-namespace | ||
19 | netfilter | ||
20 | nodvd | ||
21 | nogroups | ||
22 | nonewprivs | ||
23 | noroot | ||
24 | nosound | ||
25 | notv | ||
26 | novideo | ||
27 | protocol unix,inet,inet6 | ||
28 | seccomp | ||
29 | shell none | ||
30 | |||
31 | private-dev | ||
32 | private-tmp | ||
33 | |||
34 | noexec ${HOME} | ||
35 | noexec /tmp | ||
diff --git a/etc/disable-programs.inc b/etc/disable-programs.inc index e61be143d..8cfcaa838 100644 --- a/etc/disable-programs.inc +++ b/etc/disable-programs.inc | |||
@@ -43,6 +43,7 @@ blacklist ${HOME}/.config/Clementine | |||
43 | blacklist ${HOME}/.config/Cryptocat | 43 | blacklist ${HOME}/.config/Cryptocat |
44 | blacklist ${HOME}/.config/Franz | 44 | blacklist ${HOME}/.config/Franz |
45 | blacklist ${HOME}/.config/FreeCAD | 45 | blacklist ${HOME}/.config/FreeCAD |
46 | blacklist ${HOME}/.config/Fritzing | ||
46 | blacklist ${HOME}/.config/Gitter | 47 | blacklist ${HOME}/.config/Gitter |
47 | blacklist ${HOME}/.config/Google | 48 | blacklist ${HOME}/.config/Google |
48 | blacklist ${HOME}/.config/Google Play Music Desktop Player | 49 | blacklist ${HOME}/.config/Google Play Music Desktop Player |