chore: add Docker launch script #60

Merged

lost-rob0t merged 4 commits from chore/add-launch-script into main

2026-08-27 09:00:09 +00:00

lost-rob0t commented

2026-08-27 06:41:03 +00:00

(Migrated from github.com)

Summary

add an executable root launch.sh convenience wrapper
run docker compose up -d from the Symbolics Compose directory
provide an actionable error when the local compose.yml has not been created

Verification

bash -n launch.sh
docker compose -f docker/symbolics/compose.yml config --quiet
pytest tests/test_symbolics_docker.py
git diff --check

## Summary - add an executable root `launch.sh` convenience wrapper - run `docker compose up -d` from the Symbolics Compose directory - provide an actionable error when the local `compose.yml` has not been created ## Verification - `bash -n launch.sh` - `docker compose -f docker/symbolics/compose.yml config --quiet` - `pytest tests/test_symbolics_docker.py` - `git diff --check`