scripts-to-rule-them-all (#10)
All checks were successful
check / check (push) Successful in 21s

Reviewed-on: #10
Co-authored-by: sneak <sneak@sneak.berlin>
Co-committed-by: sneak <sneak@sneak.berlin>
This commit was merged in pull request #10.
This commit is contained in:
2026-07-07 02:14:16 +02:00
committed by Jeffrey Paul
parent 247a3c33fd
commit e45bc578b2
17 changed files with 748 additions and 124 deletions

14
script/docker Executable file
View File

@@ -0,0 +1,14 @@
#!/bin/sh
# script/docker: build the Docker image tagged with the project name.
# The tag comes from script/projectname.
set -eu
SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd -P)"
ROOT="$(cd "$SCRIPT_DIR/.." && pwd -P)"
main() {
cd "$ROOT"
timeout 300 docker build -t "$("$SCRIPT_DIR/projectname")" .
}
main "$@"