docs: start-servers.sh in README ergänzt

This commit is contained in:
Dieter Schlüter 2026-05-19 19:11:15 +02:00
commit 8dddd0eabd

View file

@ -59,11 +59,12 @@ Nach Änderungen an `pi-coder-judge-extension.ts` oder `models.json`:
## Server starten / stoppen / status ## Server starten / stoppen / status
```bash ```bash
# Coder-Server starten (Port 8001) # Beide Server parallel starten (empfohlen)
./start-coder.sh ./start-servers.sh
# Judge-Server starten (Port 8002) # Einzeln starten (z.B. nach Absturz eines Servers)
./start-judge.sh ./start-coder.sh # Port 8001
./start-judge.sh # Port 8002
# Beide stoppen # Beide stoppen
./stop-servers.sh ./stop-servers.sh
@ -72,9 +73,13 @@ Nach Änderungen an `pi-coder-judge-extension.ts` oder `models.json`:
./status.sh ./status.sh
``` ```
`start-servers.sh` startet beide Container gleichzeitig und wartet bis beide
HTTP-ready sind — schneller als sequenziell. Logs werden getrennt gesammelt
und nur bei Fehler ausgegeben.
Umgebungsvariable für alternativen Modellpfad: Umgebungsvariable für alternativen Modellpfad:
```bash ```bash
HF_HOME=/anderer/pfad ./start-coder.sh HF_HOME=/anderer/pfad ./start-servers.sh
``` ```
## pi-Kommandos ## pi-Kommandos
@ -97,8 +102,9 @@ HF_HOME=/anderer/pfad ./start-coder.sh
|---|---| |---|---|
| `pi-coder-judge-extension.ts` | pi agent Extension (Kommandos, Tools, Hooks) | | `pi-coder-judge-extension.ts` | pi agent Extension (Kommandos, Tools, Hooks) |
| `models.json` | Provider- und Modell-Konfiguration für pi agent | | `models.json` | Provider- und Modell-Konfiguration für pi agent |
| `start-coder.sh` | Docker-Container für Coder-Modell (Port 8001) starten | | `start-servers.sh` | Beide Server parallel starten (empfohlen) |
| `start-judge.sh` | Docker-Container für Judge-Modell (Port 8002) starten | | `start-coder.sh` | Nur Coder-Container starten (Port 8001) |
| `start-judge.sh` | Nur Judge-Container starten (Port 8002) |
| `stop-servers.sh` | Beide Container stoppen | | `stop-servers.sh` | Beide Container stoppen |
| `status.sh` | Laufstatus beider Server anzeigen | | `status.sh` | Laufstatus beider Server anzeigen |
| `install.sh` | Extension + models.json nach `~/.pi/agent/` kopieren | | `install.sh` | Extension + models.json nach `~/.pi/agent/` kopieren |