aboutsummaryrefslogtreecommitdiffstats
path: root/etc/profile-a-l/gummi.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/profile-a-l/gummi.profile')
-rw-r--r--etc/profile-a-l/gummi.profile5
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/profile-a-l/gummi.profile b/etc/profile-a-l/gummi.profile
index 40c268c46..2223c37a1 100644
--- a/etc/profile-a-l/gummi.profile
+++ b/etc/profile-a-l/gummi.profile
@@ -8,8 +8,13 @@ include globals.local
8noblacklist ${HOME}/.cache/gummi 8noblacklist ${HOME}/.cache/gummi
9noblacklist ${HOME}/.config/gummi 9noblacklist ${HOME}/.config/gummi
10 10
11# Allow lua (blacklisted by disable-interpreters.inc)
11include allow-lua.inc 12include allow-lua.inc
13
14# Allow perl (blacklisted by disable-interpreters.inc)
12include allow-perl.inc 15include allow-perl.inc
16
17# Allow python (blacklisted by disable-interpreters.inc)
13include allow-python3.inc 18include allow-python3.inc
14 19
15private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex 20private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex