1 files changed, 18 insertions, 0 deletions

diff --git a/etc/gummi.profile b/etc/gummi.profile
new file mode 100644
index 000000000..9fb8e3da5
--- /dev/null
+++ b/etc/gummi.profile
@@ -0,0 +1,18 @@
+# Firejail profile for gummi
+# This file is overwritten after every install/update
+# Persistent local customizations
+include gummi.local
+# Persistent global definitions
+include globals.local
+
+noblacklist ${HOME}/.config/gummi
+
+include allow-lua.inc
+include allow-perl.inc
+include allow-python3.inc
+
+private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,lualatex,luatex,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex
+
+# Redirect
+include latex-common.profile
+