commit fed31f8df3666a3f9c82342d55a333484eedd9a8
parent 05c9870d2a50ff84ff5a159b6f39dade348473a3
Author: Suzanne Soy <jsmaniac.github@suzanne.soy>
Date: Sat, 10 Jul 2021 21:19:16 +0100
Try to avoid failures with ||true
Diffstat:
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/pdflatex-wrapper/pdflatex b/pdflatex-wrapper/pdflatex
@@ -2,10 +2,15 @@
exec &>/tmp/logg
+(
echo "=== pdflatex $@ ==="
+echo script= "$@"
+cat "$0" || false
+echo END
pwd
ls
mkdir -p /tmp/ltx
for arg in "$@"; do if test -e "$arg"; then cp -- "$arg" /tmp/ltx/; fi; done
echo "=== starting pdflatex ==="
+) || true
exec PLACEHOLDER "$@"