aboutsummaryrefslogtreecommitdiffstats
path: root/etc/jerry.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/jerry.profile')
-rw-r--r--etc/jerry.profile41
1 files changed, 41 insertions, 0 deletions
diff --git a/etc/jerry.profile b/etc/jerry.profile
new file mode 100644
index 000000000..f6bfb9953
--- /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
5include jerry.local
6# Persistent global definitions
7include globals.local
8
9noblacklist ${HOME}/.config/dkl
10
11include disable-common.inc
12include disable-devel.inc
13include disable-exec.inc
14include disable-interpreters.inc
15include disable-passwdmgr.inc
16include disable-programs.inc
17include disable-xdg.inc
18
19caps.drop all
20machine-id
21net none
22no3d
23nodbus
24nodvd
25nogroups
26nonewprivs
27noroot
28nosound
29notv
30novideo
31protocol unix
32seccomp
33shell none
34tracelog
35
36private-bin bash,jerry,sh,stockfish
37private-dev
38private-etc fonts,gtk-2.0,gtk-3.0
39private-tmp
40
41memory-deny-write-execute