1 2 3 4 5 6 7
#!/usr/bin/env bash set -euo pipefail ROOT="$(cd "$(dirname "$0")" && pwd)" exec "$ROOT/rho" run "$ROOT/repos/gondolin/host/examples/bnumber-sandbox/run.yaml" "$@"