1 files changed, 19 insertions, 0 deletions

diff --git a/etc/profile-a-l/gummi.profile b/etc/profile-a-l/gummi.profile
new file mode 100644
index 000000000..922b2cbde
--- /dev/null
+++ b/etc/profile-a-l/gummi.profile
@@ -0,0 +1,19 @@
+# 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}/.cache/gummi
+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
+