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 @@
+# 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
+
+
+include disable-common.inc
+include disable-devel.inc
+include disable-exec.inc
+include disable-interpreters.inc
+include disable-passwdmgr.inc
+include disable-programs.inc
+include disable-xdg.inc
+
+whitelist /usr/share/devhelp
+whitelist /usr/share/doc
+whitelist /usr/share/gtk-doc/html
+include whitelist-common.inc
+include whitelist-usr-share-common.inc
+
+apparmor
+caps.drop all
+# net none - 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,dconf,fonts,ld.so.cache,machine-id,ssl
+private-tmp
+
+# makes settings immutable
+# dbus-user none
+# dbus-system none
+
+#memory-deny-write-execute - breaks on Arch (see issue #1803)
+
+read-only ${HOME}