blob: 2e8d4af3ee9123d7b5c96fc37fb7004bb7a46964 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#!/usr/bin/perl
# dani 19.02.2005
# first delete some groups and keys, if they exist
print "# DELETEGROUP [Tool/PreviewLaTeX/Default]\n";
print "# DELETEGROUP [Tool/PreviewPDFLaTeX/Default]\n";
print "# DELETE [Tools]PreviewLaTeX\n";
print "# DELETE [Tools]PreviewPDFLaTeX\n";
print "# DELETE [ToolsGUI]PreviewLaTeX\n";
print "# DELETE [ToolsGUI]PreviewPDFLaTeX\n";
# now filter the configuration file
print <<EOT;
[Tool/PreviewLaTeX/Default]
autoRun=no
checkForRoot=no
class=LaTeXpreview
command=latex
from=
jumpToFirstError=yes
options=-interaction=nonstopmode '%source'
to=dvi
type=Process
[Tool/PreviewPDFLaTeX/Default]
autoRun=no
checkForRoot=no
class=LaTeXpreview
command=pdflatex
from=
jumpToFirstError=yes
options=-interaction=nonstopmode '%source'
to=pdf
type=Process
[Tools]
PreviewLaTeX=Default
PreviewPDFLaTeX=Default
[ToolsGUI]
PreviewLaTeX=none,none
PreviewPDFLaTeX=none,none
EOT
|
