typedit fix?

This commit is contained in:
Tove 2025-11-25 12:38:44 +01:00
parent 9db044f8c1
commit c593ceb923
Signed by: TudbuT
GPG key ID: B3CF345217F202D3

View file

@ -34,9 +34,9 @@ touch "$pdf".typ "$pdf".log
${pkgs.typst}/bin/typst c -f pdf "$pdf".typ "$pdf".pdf
${pkgs.mupdf}/bin/mupdf "$pdf".pdf &
pdfpid=$!
(${pkgs.typst}/bin/typst w -f pdf "$pdf".typ "$pdf".pdf 2>&1 | tee $pdf.log | grep --line-buffered compiled | ( while head -n1 > /dev/null ; do
${pkgs.typst}/bin/typst w -f pdf "$pdf".typ "$pdf".pdf 2>&1 | tee $pdf.log | grep --line-buffered compiled | while head -n1 > /dev/null ; do
kill -HUP $pdfpid
done )) &
done &
typpid=$!
${pkgs.helix}/bin/hx "$pdf".typ "$pdf".log
kill $pdfpid $typpid