Replace Python development tooling with Make and containerized shell

This commit is contained in:
Stephan D committed 2026-09-12 23:14:34 +02:00
1 parent 23f7b78c3b
commit 1b8800ee73
27 files changed
+620 -627

No files matched your search

+13
View File
@@ -0,0 +1,13 @@
#!/bin/sh
set -eu
set -o pipefail
. dev/common.sh
case "${1:-}" in
images) . dev/images.sh; images;;
up) . dev/bootstrap.sh; up;;
email) . dev/bootstrap.sh; email;;
verify|verify-infra) . dev/verify.sh; existing; infrastructure; if [ "$1" = verify ]; then product; fi;;
rotation) . dev/verify.sh; . dev/rotation.sh; existing; rotation;;
test) sh dev/test.sh;;
*) fail 'Unknown local tooling command';;
esac