scripts/launch-revyl

#!/bin/sh
set -eu

SCRIPT_DIR=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)
REVYL_PLUGIN_HOST=codex
export REVYL_PLUGIN_HOST
exec "$SCRIPT_DIR/launch-runtime" "$@"