#!/usr/bin/env bash
set -euo pipefail
repo=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)
if (($#)); then
    exec python3 "$repo/lib/rice.py" "$@"
fi
cd "$repo"
exec python3 "$repo/lib/launcher.py"
