diff options
Diffstat (limited to 'etc/profile-a-l/gummi.profile')
-rw-r--r-- | etc/profile-a-l/gummi.profile | 5 |
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 | |||
8 | noblacklist ${HOME}/.cache/gummi | 8 | noblacklist ${HOME}/.cache/gummi |
9 | noblacklist ${HOME}/.config/gummi | 9 | noblacklist ${HOME}/.config/gummi |
10 | 10 | ||
11 | # Allow lua (blacklisted by disable-interpreters.inc) | ||
11 | include allow-lua.inc | 12 | include allow-lua.inc |
13 | |||
14 | # Allow perl (blacklisted by disable-interpreters.inc) | ||
12 | include allow-perl.inc | 15 | include allow-perl.inc |
16 | |||
17 | # Allow python (blacklisted by disable-interpreters.inc) | ||
13 | include allow-python3.inc | 18 | include allow-python3.inc |
14 | 19 | ||
15 | private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex | 20 | private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex |