diff --git a/assets/pipeline.mp4 b/assets/pipeline.mp4 new file mode 100644 index 0000000..f0db221 Binary files /dev/null and b/assets/pipeline.mp4 differ diff --git a/tools/record-pipeline.sh b/tools/record-pipeline.sh new file mode 100755 index 0000000..5186db5 --- /dev/null +++ b/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"