redis
| Version | 2026.144.1531 |
| Repo | superproject |
A Redis-compatible key-value server (redis-server + redis-cli) supervised on 127.0.0.1:6379
Installs the Redis server and CLI — the redis package on Fedora,
and valkey (which provides /usr/bin/redis-server and
/usr/bin/redis-cli) on Arch/CachyOS. A supervised redis-server binds
127.0.0.1:6379 with a ${HOME}/.redis data dir and a 60s/1-key RDB
snapshot policy, so the running service answers redis-cli ping with
PONG and accepts TCP on its published host port. Every claim below is
verifiable: binaries on disk, the providing package installed, and a
live PING/PONG + reachable-port probe against the running deployment.
Services
Section titled “Services”redis
Acceptance plan
Section titled “Acceptance plan”This candy’s plan: — the runnable spec charly check executes against a live deployment. check: steps are idempotent probes; run: steps change state.
| Intent | Step |
|---|---|
run |
mkdir=${HOME}/.redis |
check |
the redis-server daemon binary is installed at /usr/bin/redis-server |
check |
the redis-cli client binary is installed at /usr/bin/redis-cli |
check |
the providing package is installed (redis on Fedora, valkey on Arch/CachyOS) |
check |
redis-cli ping returns PONG against the supervised redis-server |
check |
the redis port accepts a TCP connection from the host |
agent-check |
the supervised redis service is running and keeps answering clients, restarting automatically (restart=always) if the redis-server process exits |
check |
redis answers PONG to redis-cli inside the container (host-independent probe) |
check |
addr=127.0.0.1:${HOST_PORT:6379} |