blob: 939b36720e14d49ea7b30bdaa80931e5348c7935 (
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
|
#n extract TrIO information from a .log file
/^This is TeX, Version 3.141592653/{
s/^This is.*/\\def\\TrIOeEMnvVfilenames{% password-protected name/p
}
/^\*\*/{
s/.*/\\TRIOifcase\\TrIOcnt\\TrIOstop{case 0 in auto}%/p
}
/^TrIO >>>/{
x
s/}%%/ \\TrIOfile}%/p
x
s/\(.*\)/\\TrIOmessage{\1}%%/
h
s/.*: /\\TRIOor\\TRIOdef\\TrIOiocmd{\\/
s/input/TRIOinput/
s/INPUT/TrIOcCkPxXtransfer\\TRIOinput/
s/openin/TRIOaAmNzZopenin/
s/immediate /TRIOimmediate\\/
s/openout/TRIObBlOyYopenout/
/TRIOinput/s/\\TRIOdef/\\TRIOgdef/
s/%%/%/p
}
/^Please type another input file name/{
s/.*: /\\TrIOenvinput\\TRIOgdef\\TrIOfile{/
s/$/ }%/
x
H
}
/^\\FilenameOPEN.*=/{
s/.*=/\\TrIOenvopen\\TRIOdef\\TrIOfile{/
s/$/}%/
x
s/^.*\n//g
H
}
${
x
s/}%%/ \\TrIOfile}%/p
}
$a\
\\TRIOelse\\TrIOstop{unknown case ( \\TrIOcnt) in auto}%\
\\TRIOfi\\TrIOfFLouUexecute}
|