diff options
Diffstat (limited to 'etc/profile-a-l/devhelp.profile')
-rw-r--r-- | etc/profile-a-l/devhelp.profile | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/etc/profile-a-l/devhelp.profile b/etc/profile-a-l/devhelp.profile new file mode 100644 index 000000000..f3c012acb --- /dev/null +++ b/etc/profile-a-l/devhelp.profile | |||
@@ -0,0 +1,53 @@ | |||
1 | # Firejail profile for devhelp | ||
2 | # Description: API documentation browser for GNOME | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include devhelp.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | |||
10 | include disable-common.inc | ||
11 | include disable-devel.inc | ||
12 | include disable-exec.inc | ||
13 | include disable-interpreters.inc | ||
14 | include disable-passwdmgr.inc | ||
15 | include disable-programs.inc | ||
16 | include disable-xdg.inc | ||
17 | |||
18 | whitelist /usr/share/devhelp | ||
19 | whitelist /usr/share/doc | ||
20 | whitelist /usr/share/gtk-doc/html | ||
21 | include whitelist-common.inc | ||
22 | include whitelist-usr-share-common.inc | ||
23 | |||
24 | apparmor | ||
25 | caps.drop all | ||
26 | # net none - makes settings immutable | ||
27 | nodvd | ||
28 | nogroups | ||
29 | nonewprivs | ||
30 | noroot | ||
31 | nosound | ||
32 | notv | ||
33 | nou2f | ||
34 | novideo | ||
35 | protocol unix | ||
36 | seccomp | ||
37 | shell none | ||
38 | tracelog | ||
39 | |||
40 | disable-mnt | ||
41 | private-bin devhelp | ||
42 | private-cache | ||
43 | private-dev | ||
44 | private-etc alternatives,dconf,fonts,ld.so.cache,machine-id,ssl | ||
45 | private-tmp | ||
46 | |||
47 | # makes settings immutable | ||
48 | # dbus-user none | ||
49 | # dbus-system none | ||
50 | |||
51 | #memory-deny-write-execute - breaks on Arch (see issue #1803) | ||
52 | |||
53 | read-only ${HOME} | ||