blob: 9d690e99356a6e57f75d43682bc671441e448b61 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
# Firejail profile for devhelp
# Description: API documentation browser for GNOME
# This file is overwritten after every install/update
# Persistent local customizations
include devhelp.local
# Persistent global definitions
include globals.local
mkdir ${HOME}/.cache/mesa_shader_cache
whitelist ${HOME}/.cache/mesa_shader_cache
include disable-common.inc
include disable-devel.inc
include disable-interpreters.inc
include disable-passwdmgr.inc
include disable-programs.inc
include disable-xdg.inc
include whitelist-common.inc
apparmor
caps.drop all
# machine-id breaks audio; it should work fine in setups where sound is not required
machine-id
net none
# nodbus - makes settings immutable
nodvd
nogroups
nonewprivs
noroot
nosound
notv
nou2f
novideo
protocol unix
seccomp
shell none
tracelog
disable-mnt
private-bin devhelp
private-cache
private-dev
private-etc alternatives,fonts
private-tmp
# memory-deny-write-execute - Breaks on Arch
noexec ${HOME}
noexec /tmp
# devhelp will never write anything
read-only ${HOME}
|
