Function run_command

lean_py/utils.py:12–18

Run a command and return the trimmed stdout.

(args: list[str], **kwargs)

def run_command(args: list[str], **kwargs) -> str:
    """Run a command and return the trimmed stdout."""
    res = subprocess.run(args, capture_output=True, **kwargs)
    if res.returncode != 0:
        stderr = res.stderr.decode(errors="replace") if res.stderr else ""
        raise RuntimeError(f"Command {args} exited with {res.returncode}: {stderr}")
    return res.stdout.decode().strip()


@lru_cache(maxsize=1)