Am Sat, 15 Jun 2019 13:25:29 +1200 schrieb Henri Menke: > (does Windows even have pipes?) I can't test it because I don't > have a Windows machine. Yes, see e.g. https://tex.stackexchange.com/a/307044/2388 (with miktex one has to use --enable-pipes) cmd and powershell have pipes too. -- Ulrike Fischer https://www.troubleshooting-tex.de/