2025-12-04 12:44:32 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
2025-12-16 17:14:24 +01:00
|
|
|
# Thin wrapper; the actual implementation lives in scripts/lib/run-examples.sh
|
|
|
|
|
# so it can be shared/tested more easily.
|
|
|
|
|
if [ -z "${BASH_VERSION:-}" ]; then
|
|
|
|
|
exec bash "$0" "$@"
|
2025-12-09 06:30:18 +01:00
|
|
|
fi
|
|
|
|
|
|
2025-12-16 17:14:24 +01:00
|
|
|
ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
2025-12-09 16:51:01 +01:00
|
|
|
|
2025-12-09 17:24:11 +01:00
|
|
|
# shellcheck disable=SC1091
|
2025-12-16 17:14:24 +01:00
|
|
|
. "${ROOT_DIR}/scripts/lib/run-examples.sh"
|
2025-12-15 17:47:00 +01:00
|
|
|
|
2025-12-16 17:14:24 +01:00
|
|
|
run_examples::main "$@"
|
