clean rig

This commit is contained in:
2026-09-17 01:12:15 -03:00
parent de5b1b7ea8
commit 1dc9d38c80
12 changed files with 98 additions and 312 deletions

View File

@@ -13,8 +13,8 @@ PROFILE=
# CLUSTER=
# Host ports. LEAVE UNSET — they derive from the directory name so several
# environments coexist without negotiating (see ctrl/ports.sh). `make ports`
# shows this environment's block; `make ports persist` writes it here so it stops
# environments coexist without negotiating (see ctrl/ports.sh). `make check`
# shows this environment's block; `bash ctrl/ports.sh persist` writes it here so it stops
# being derived and becomes fixed. Set a value only to override.
# HTTP_PORT=
# HTTPS_PORT=