From a16f8af7e1a580b44c78f5b277f183bc71bd6b71 Mon Sep 17 00:00:00 2001 From: glitsj16 Date: Thu, 21 Feb 2019 01:56:16 +0000 Subject: Create devhelp.profile --- etc/devhelp.profile | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) create mode 100644 etc/devhelp.profile (limited to 'etc/devhelp.profile') 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} -- cgit v1.2.3-70-g09d2