#!/bin/bash
set -eu
# Usage: record.sh checkout seed output label; invoke under headless-desktop.
checkout=$1; seed=$2; output=$3; label=$4
profile=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d "'")
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" use-system-font false
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" font 'Monospace 12'
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" use-theme-colors false
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" background-color '#101318'
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" foreground-color '#eeeeee'
ffmpeg -y -loglevel error -f x11grab -framerate 8 -video_size 1440x900 -i "$DISPLAY" -c:v libx264 -preset ultrafast -crf 22 -pix_fmt yuv420p "$output.mp4" &
recorder=$!
gnome-terminal --wait --geometry=142x43 --title='Usage cache - real server evidence' -- python3 "$(dirname "$0")/run.py" "$checkout" "$seed" "$output" "$label"
kill -INT "$recorder"
wait "$recorder" || true