diff options
Diffstat (limited to 'etc/jerry.profile')
-rw-r--r-- | etc/jerry.profile | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/etc/jerry.profile b/etc/jerry.profile new file mode 100644 index 000000000..28eb4d207 --- /dev/null +++ b/etc/jerry.profile | |||
@@ -0,0 +1,41 @@ | |||
1 | # Firejail profile for jerry | ||
2 | # Description: Chess GUI | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include jerry.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | noblacklist ${HOME}/.config/dkl | ||
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 | include disable-xdg.inc | ||
18 | |||
19 | caps.drop all | ||
20 | machine-id | ||
21 | net none | ||
22 | no3d | ||
23 | nodbus | ||
24 | nodvd | ||
25 | nogroups | ||
26 | nonewprivs | ||
27 | noroot | ||
28 | nosound | ||
29 | notv | ||
30 | novideo | ||
31 | protocol unix | ||
32 | seccomp | ||
33 | shell none | ||
34 | tracelog | ||
35 | |||
36 | private-bin jerry,stockfish,sh,bash | ||
37 | private-dev | ||
38 | private-etc fonts,gtk-2.0,gtk-3.0 | ||
39 | private-tmp | ||
40 | |||
41 | memory-deny-write-execute | ||