Files
video/render-demo.sh

11 lines
242 B
Bash

#!/usr/bin/env bash
set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
if command -v python3 >/dev/null 2>&1; then
exec python3 "$SCRIPT_DIR/render_demo.py" "$@"
fi
exec python "$SCRIPT_DIR/render_demo.py" "$@"