added redis

This commit is contained in:
2026-07-09 09:31:44 -07:00
parent 1a69f28eb8
commit 8ec8eddbec
3 changed files with 3 additions and 2 deletions
+1 -1
View File
@@ -11,7 +11,7 @@ default):
```
It writes `NAME`, `DATA_DIR`, and `WORKSPACE_DIR` to `.env` (gitignored —
every user keeps their own), which every other command sources. `NAME`
should be something unique to you (e.g. `chris-claude`) if more than one
should be something unique to you (e.g. `claude-ten`) if more than one
person is running a container from this same repo checkout. `DATA_DIR`
defaults to `/data/$NAME`; `WORKSPACE_DIR` (the host dir mounted as
`/projects` in the container) defaults to `/home/$USER/projects`.