1 files changed, 39 insertions, 0 deletions

diff --git a/etc/shellcheck.profile b/etc/shellcheck.profile
new file mode 100644
index 000000000..6827b0baf
--- /dev/null
+++ b/etc/shellcheck.profile
@@ -0,0 +1,39 @@
+# Firejail profile for shellcheck
+# This file is overwritten after every install/update
+quiet
+# Persistent local customizations
+include /etc/firejail/shellcheck.local
+# Persistent global definitions
+include /etc/firejail/globals.local
+
+noblacklist ${DOCUMENTS}
+
+include /etc/firejail/disable-common.inc
+include /etc/firejail/disable-devel.inc
+include /etc/firejail/disable-interpreters.inc
+include /etc/firejail/disable-passwdmgr.inc
+include /etc/firejail/disable-programs.inc
+include /etc/firejail/disable-xdg.inc
+
+caps.drop all
+ipc-namespace
+net none
+no3d
+nodbus
+nodvd
+nogroups
+nonewprivs
+noroot
+nosound
+notv
+novideo
+protocol unix
+seccomp
+shell none
+
+private-dev
+private-tmp
+
+memory-deny-write-execute
+noexec ${HOME}
+noexec /tmp