|
| 1 | +#!/usr/bin/env python3 |
| 2 | +""" |
| 3 | +Animate TikZ by sweeping the value of \newcommand{\controlHoursStart}{...}. |
| 4 | +Workflow: LaTeX -> PDF -> PNG (pdftoppm or gs) -> GIF (Pillow). |
| 5 | +""" |
| 6 | + |
| 7 | +import argparse |
| 8 | +import re |
| 9 | +import shutil |
| 10 | +import subprocess |
| 11 | +import sys |
| 12 | +from pathlib import Path |
| 13 | + |
| 14 | +from pdf_utils import find_rasterizer, pdf_to_png |
| 15 | +from PIL import Image |
| 16 | + |
| 17 | +PATTERN = r'(\\newcommand\s*\{\\controlHoursStart\}\s*\{)(.*?)(\})' |
| 18 | + |
| 19 | + |
| 20 | +def run(cmd: list[str]) -> None: |
| 21 | + subprocess.run(cmd, check=True) |
| 22 | + |
| 23 | + |
| 24 | +def substitute_control_hours_start(tex: str, value: str) -> str: |
| 25 | + if re.search(PATTERN, tex): |
| 26 | + return re.sub(PATTERN, r'\g<1>' + str(value) + r'\g<3>', tex) |
| 27 | + sys.exit("[ERROR] Couldn't find \\newcommand{\\controlHoursStart}{...} in template") |
| 28 | + |
| 29 | +def make_gif(pngs: list[Path], out_gif: Path, fps: float, loop: int) -> None: |
| 30 | + if not pngs: |
| 31 | + sys.exit("[ERROR] No PNGs to animate") |
| 32 | + dur = max(1, int(1000 / fps)) |
| 33 | + frames = [Image.open(p).convert("RGBA") for p in pngs] |
| 34 | + frames[0].save(out_gif, save_all=True, append_images=frames[1:], |
| 35 | + duration=dur, loop=loop, disposal=2) |
| 36 | + |
| 37 | +def main() -> None: |
| 38 | + ap = argparse.ArgumentParser() |
| 39 | + ap.add_argument("template", type=Path) |
| 40 | + ap.add_argument( |
| 41 | + "--values", |
| 42 | + required=True, |
| 43 | + help="Comma-separated values for controlHoursStart", |
| 44 | + ) |
| 45 | + ap.add_argument("--outdir", type=Path, default=Path("build")) |
| 46 | + ap.add_argument("--gif", type=Path, default=Path("animation.gif")) |
| 47 | + ap.add_argument("--pdflatex", default="pdflatex") |
| 48 | + ap.add_argument("--dpi", type=int, default=600) |
| 49 | + ap.add_argument("--fps", type=float, default=1) |
| 50 | + ap.add_argument("--loop", type=int, default=0) |
| 51 | + args = ap.parse_args() |
| 52 | + |
| 53 | + if not shutil.which(args.pdflatex): |
| 54 | + sys.exit(f"[ERROR] '{args.pdflatex}' not found") |
| 55 | + |
| 56 | + raster_kind, raster_exec = find_rasterizer() |
| 57 | + print(f"[info] Using {raster_kind} at {raster_exec}") |
| 58 | + |
| 59 | + tex_src = args.template.read_text(encoding="utf-8") |
| 60 | + values = [v.strip() for v in args.values.split(",") if v.strip()] |
| 61 | + args.outdir.mkdir(parents=True, exist_ok=True) |
| 62 | + |
| 63 | + pngs: list[Path] = [] |
| 64 | + for i, val in enumerate(values): |
| 65 | + tex = substitute_control_hours_start(tex_src, val) |
| 66 | + tex_path = args.outdir / f"frame_{i:04d}.tex" |
| 67 | + pdf_path = args.outdir / f"frame_{i:04d}.pdf" |
| 68 | + prefix = args.outdir / f"frame_{i:04d}" |
| 69 | + tex_path.write_text(tex, encoding="utf-8") |
| 70 | + |
| 71 | + run([args.pdflatex, "-interaction=nonstopmode", "-halt-on-error", |
| 72 | + "-output-directory", str(args.outdir), str(tex_path)]) |
| 73 | + |
| 74 | + # Convert PDF to PNG and store the path |
| 75 | + png_path = prefix.parent / f"{prefix.name}-1.png" |
| 76 | + pdf_to_png( |
| 77 | + pdf_path, |
| 78 | + png_path, |
| 79 | + dpi=args.dpi, |
| 80 | + tool=raster_kind, |
| 81 | + exe_path=raster_exec, |
| 82 | + ) |
| 83 | + pngs.append(png_path) |
| 84 | + |
| 85 | + make_gif(pngs, args.gif, fps=args.fps, loop=args.loop) |
| 86 | + print(f"Done. Frames: {len(pngs)} GIF: {args.gif.resolve()}") |
| 87 | + |
| 88 | +if __name__ == "__main__": |
| 89 | + main() |
0 commit comments