2 files changed, 53 insertions, 0 deletions

diff --git a/etc/devhelp.profile b/etc/devhelp.profile
new file mode 100644
index 000000000..9d690e993
--- /dev/null
+++ b/etc/devhelp.profile
@@ -0,0 +1,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}
diff --git a/src/firecfg/firecfg.config b/src/firecfg/firecfg.config
index be42684d3..2becb8050 100644
--- a/src/firecfg/firecfg.config
+++ b/src/firecfg/firecfg.config
@@ -102,6 +102,7 @@ darktable
 dconf-editor
 deadbeef
 deluge
+devhelp
 dex2jar
 dia
 dig