feat(tools): record the three language pipeline

tools/record-pipeline.sh

@@ -0,0 +1,59 @@
+#!/usr/bin/env bash
+source "$(dirname "${BASH_SOURCE[0]}")/record-lib.sh"
+
+GEOMETRY=${GEOMETRY:-1280x720}
+SRC=${SRC:-$HOME/projects/abnormal}
+OUT="$ROOT/assets/pipeline.mp4"
+WORK=$(mktemp -d)
+PROMPT_FILE="$WORK/prompt"
+
+cp -a "$SRC" "$WORK/abnormal"
+rm -rf "$WORK/abnormal/build" "$WORK/abnormal/gen"
+mkdir -p "$WORK/bin"
+ln -sf "$ROOT/meowc" "$WORK/bin/meowc"
+
+start_xvfb "$GEOMETRY"
+
+kitty \
+    --config "$HOME/.config/kitty/kitty.conf" \
+    -o remember_window_size=no \
+    -o "initial_window_width=${GEOMETRY%x*}" \
+    -o "initial_window_height=${GEOMETRY#*x}" \
+    -o confirm_os_window_close=0 \
+    --directory "$WORK/abnormal" \
+    -- bash --noprofile --norc >/dev/null 2>&1 &
+sleep 3
+
+for _ in $(seq 30); do
+    xdotool search --onlyvisible --class kitty >/dev/null 2>&1 && break
+    sleep 1
+done
+xdotool search --onlyvisible --class kitty windowactivate >/dev/null 2>&1 || true
+xdotool type --delay 10 -- 'export PS1="expr $ " PROMPT_COMMAND="printf . >> '"$PROMPT_FILE"'" PATH='"$WORK"'/bin:$PATH; clear'
+xdotool key Return
+sleep 1
+
+start_capture "$GEOMETRY" "$WORK/pipeline.mkv"
+
+run_line 'meowc build' 1.4
+run_line 'meowc test' 1.4
+run_line './build/bin/vm --list' 2.6
+run_line './build/bin/vm poly 5' 2.6
+run_line 'clear' 0.4
+run_line 'touch *.ml *.scm *.c programs/*.expr' 0.5
+run_line 'meowc build' 1.8
+run_line 'sed -i s/no.encoding/bad.operator/ back.ml' 0.5
+run_line 'meowc build' 1.8
+run_line 'sed -i "s/(halt 0)/(halt 0) (nop 0)/" ops.scm' 0.5
+run_line 'meowc build' 2.2
+
+stop_capture
+
+LIMIT=${LIMIT:-45}
+raw=$(ffprobe -v error -show_entries format=duration -of csv=p=0 "$WORK/pipeline.mkv")
+speed=$(python3 -c "print(max(1.0, $raw / $LIMIT))")
+ffmpeg -v error -y -i "$WORK/pipeline.mkv" -an -vf "setpts=PTS/$speed" \
+    -c:v libx264 -crf 20 -preset slow -pix_fmt yuv420p -movflags +faststart "$OUT"
+echo "raw ${raw}s, sped up ${speed}x"
+rm -rf "$WORK"
+echo "wrote $OUT"