diff --git a/tools/ci b/tools/ci index fa86712..5cdf1bd 100755 --- a/tools/ci +++ b/tools/ci @@ -1,3 +1,3 @@ -#!/bin/bash +#!/usr/bin/env bash set -e ./tools/uv run ./tools/run.py "$@" diff --git a/tools/run.py b/tools/run.py index 1ef7f63..e625984 100644 --- a/tools/run.py +++ b/tools/run.py @@ -11,7 +11,7 @@ def run(*args: str) -> None: try: - subprocess.run(["/bin/bash", str(here / "uv"), "run", *args], check=True) + subprocess.run(["/usr/bin/env", "bash", str(here / "uv"), "run", *args], check=True) except subprocess.CalledProcessError as e: sys.exit(e.returncode) diff --git a/tools/uv b/tools/uv index 8575713..806cf01 100755 --- a/tools/uv +++ b/tools/uv @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash TOOLS="$( cd "$( dirname "${BASH_SOURCE[0]:-$0}" )" && pwd )" BOOTSTRAP_VENV="$TOOLS/.bootstrap-venv"