2007-12-30 12:46:21 -08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<medit-filters version="1.0">
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="default" _name="Filter|Default">
|
|
|
|
<match what="stdout" pattern="^(?P<file>[^:]+):(?P<line>\d+)?"/>
|
|
|
|
<match what="stderr" pattern="^(?P<file>[^:]+):(?P<line>\d+)?"/>
|
|
|
|
</filter>
|
|
|
|
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="none" _name="Filter|None"/>
|
|
|
|
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="bison" _name="Filter|Bison">
|
|
|
|
<match what="stderr" pattern="(?P<file>[^:]+):(?P<line>\d+)\.(\d+|\d+\-\d+):"/>
|
|
|
|
</filter>
|
|
|
|
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="python" _name="Filter|Python">
|
|
|
|
<match what="stderr" pattern='\s*File\s*\"(?P<file>[^"]+)\",\s*line\s*(?P<line>\d+).*' style="output-error"/>
|
|
|
|
<match what="stderr" pattern='\s*(?P<file>[^:]+):(?P<line>\d+):.*' style="output-error"/>
|
|
|
|
</filter>
|
|
|
|
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="latex" _name="Filter|LaTeX">
|
|
|
|
<match what="stdout" pattern="^l\.(?P<line>\d+)" style="output-error" span="2"/>
|
|
|
|
<match what="stdout" pattern="^LaTeX Warning: .* on input line (?P<line>\d+)\." style="output-error"/>
|
|
|
|
<match what="stdout" pattern="^(Over|Under)full \\[vh]box .* detected at line (?P<line>\d+)" style="output-error"/>
|
|
|
|
<match what="stdout" pattern="^(Over|Under)full \\[vh]box .* in paragraph at lines (?P<line>\d+)\-\-\d+" style="output-error"/>
|
|
|
|
<match what="stdout" pattern="^LaTeX Warning: .*" style="output-error"/>
|
|
|
|
<match what="stdout" pattern="^\! LaTeX Error: .*" style="output-error"/>
|
|
|
|
<match what="stdout" pattern="\((?P<file>[/.][^\(\)\s]+)">
|
|
|
|
<action type="push" name="file" substring="file"/>
|
|
|
|
</match>
|
|
|
|
<match what="stdout" pattern="\(">
|
|
|
|
<action type="push" name="file"/>
|
|
|
|
</match>
|
|
|
|
<match what="stdout" pattern="\)">
|
|
|
|
<action type="pop" name="file"/>
|
|
|
|
</match>
|
|
|
|
</filter>
|
|
|
|
|
|
|
|
<!-- Output filter for shell commands -->
|
|
|
|
<filter id="make" _name="Filter|Make">
|
|
|
|
<match what="stderr" pattern=".* from (?P<file>[^:]+):(?P<line>\d+)[:,].*" style="output-error"/>
|
|
|
|
<match what="stderr" pattern="(?P<file>[^:]+):(?P<line>\d+):(\d+:)?\s*(?:error|warning)\s*:.*" style="output-error"/>
|
|
|
|
<match what="stderr" pattern="(?P<file>[^:]+):(?P<line>\d+):.*" style="output-error"/>
|
|
|
|
<match what="stderr" pattern="(?P<file>[^:]+):(?P<line>\d+).\d+-\d+:.*" style="output-error"/>
|
|
|
|
|
|
|
|
<match what="stderr" pattern="(?P<file>[^:]+)\((?P<line>\d+)\):(\d+:)?\s*(error|warning|remark).*" style="output-error"/>
|
|
|
|
|
|
|
|
<match what="stderr" pattern="\s+File "(?P<file>[^"]+)", line (?P<line>\d+).*" style="output-error"/>
|
|
|
|
|
2008-06-08 10:50:35 -07:00
|
|
|
<match what="stderr" pattern="^(?P<file>[^:]+):(?P<line>\d+)?" style="output-error"/>
|
|
|
|
|
2007-12-30 12:46:21 -08:00
|
|
|
<match what="stdout" pattern="^g?make\[\d+\]: Entering directory `(?P<dir>.*)'">
|
|
|
|
<action type="push" name="directory" substring="dir"/>
|
|
|
|
</match>
|
|
|
|
<match what="stdout" pattern="^g?make\[\d+\]: Leaving directory">
|
|
|
|
<action type="pop" name="directory"/>
|
|
|
|
</match>
|
|
|
|
</filter>
|
|
|
|
</medit-filters>
|