(
path: Path, commands: list[str], *, header: list[str] | None = None
)
| 48 | |
| 49 | |
| 50 | def write_command_script( |
| 51 | path: Path, commands: list[str], *, header: list[str] | None = None |
| 52 | ) -> None: |
| 53 | lines = ["#!/usr/bin/env bash", "set -euo pipefail"] |
| 54 | if header: |
| 55 | lines.extend(header) |
| 56 | lines.extend(commands) |
| 57 | write_text(path, "\n".join(lines) + "\n") |
| 58 | |
| 59 | |
| 60 | def command_plan_entry( |
no test coverage detected