#!/usr/bin/env bash
set -eu
root=$(cd -- "$(dirname -- "$0")" && pwd)
side=$2
ffmpeg -hide_banner -loglevel error -f x11grab -video_size 1280x800 -framerate 15 -i "$DISPLAY" -c:v libx264 -preset ultrafast -crf 22 -pix_fmt yuv420p "$root/$side-final.mp4" &
recorder=$!
gnome-terminal --wait --hide-menubar --geometry=135x38+0+0 --title="Binary path proof" -- bash "$root/run-case.sh" "$1" "$2"
kill -INT "$recorder"
wait "$recorder" || true