Workaround for a summary of problems (errors and warnings) after compilation.
This commit is contained in:
parent
f6c43cbcbe
commit
6ef41ceebc
|
@ -4,7 +4,7 @@ pdflatex.sh
|
||||||
|
|
||||||
:Author: Michał Kalewski
|
:Author: Michał Kalewski
|
||||||
:Source: https://github.com/mkalewski/pdflatex.sh
|
:Source: https://github.com/mkalewski/pdflatex.sh
|
||||||
:Version: 3.1.0
|
:Version: 3.1.1
|
||||||
|
|
||||||
|
|
||||||
Name
|
Name
|
||||||
|
|
|
@ -34,7 +34,7 @@
|
||||||
|
|
||||||
# VERSION
|
# VERSION
|
||||||
# =======
|
# =======
|
||||||
VERSION=3.1.0
|
VERSION=3.1.1
|
||||||
|
|
||||||
|
|
||||||
# PROGRAMS
|
# PROGRAMS
|
||||||
|
@ -574,8 +574,8 @@ fi
|
||||||
|
|
||||||
# Problems summary (part 1 of 2)
|
# Problems summary (part 1 of 2)
|
||||||
if [[ -n $SHOWSUMMARY ]] ; then
|
if [[ -n $SHOWSUMMARY ]] ; then
|
||||||
ERRORSNUM=`grep -i "^\! " "$FILENAME".log | wc -l`
|
ERRORSNUM=`grep -i "^\!" "$FILENAME".log | wc -l`
|
||||||
ERRORS=`grep -A2 -i "^\! " "$FILENAME".log`
|
ERRORS=`grep -A2 -i "^\!" "$FILENAME".log`
|
||||||
WARNINGS=`grep -i warning "$FILENAME".log | grep -v -i infwarerr`
|
WARNINGS=`grep -i warning "$FILENAME".log | grep -v -i infwarerr`
|
||||||
WARNINGSNUM=`echo "$WARNINGS" | wc -l`
|
WARNINGSNUM=`echo "$WARNINGS" | wc -l`
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in New Issue