Make script/ entrypoints POSIX sh; add bootstrap and setup

2026-07-06 23:03:17 +02:00
parent 9b17cddc8b
commit d0958fce80
16 changed files with 156 additions and 56 deletions
--- a/script/lint
+++ b/script/lint
@@ -1,8 +1,8 @@
-#!/usr/bin/env bash
+#!/bin/sh
 # script/lint: run the linter.
-set -euo pipefail
+set -eu

-ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)"
+ROOT="$(cd "$(dirname "$0")/.." && pwd -P)"

 main() {
    cd "$ROOT"