remove profile dependency

This commit is contained in:
2026-09-17 00:07:24 -03:00
parent 29e30693ea
commit 19feac6d57
13 changed files with 221 additions and 37 deletions

View File

@@ -25,6 +25,23 @@ make deps / make mem # the same, via the Makefile
`rigmini.sh push` and `all` deliberately consume memory. Run `status` first, and
only run them somewhere other processes may be squeezed.
## Your own setup, somewhere else — `export`
The folders here are rig's **profiles**, identical on any machine. To take the
setup **this machine runs** instead — its profile plus the choices in its local
`ctrl/.env` (ports, manifest directory, mirror mode) — export it:
```bash
make standalone export ~/rig-kit # one kit, outside the repository
```
An export carries your **choices, never your credentials**. Anything in `ctrl/.env`
that is not a setting a caller may override — registry logins, a mirror URL — is
left out, and the export lists those names so you know what to set on the target.
It refuses to write inside the repository: it reflects one machine, and the
repository holds what is true for every machine. `make selftest` proves both with
sentinel values.
## Why generated
These used to be hand-kept copies, and they drifted: the standalone memory tool