stem-launcher/doc/workspace.md

Workspace

Ten plik opisuje tylko kontekst workspace. Szczegółowy opis CLI jest w doc/rvctl.md.

Publiczny entrypoint launchera:

./rvctl

Implementacja CLI znajduje się w rvctl.py. Plik workspace.json przechowuje lokalne ścieżki workspace, series, socketów, tokenów i adres publicznego manifestu.

Publiczny manifest wspólnego workspace jest w repo:

edu-workspace/workspace-info

Lokalna kopia manifestu znajduje się w:

~/dev/workspace/rv/meta/workspace-info

Typowy układ:

~/dev/workspace/rv
├── meta
│   └── workspace-info
├── tools
│   └── rv-launcher
├── tokens
│   └── tokens.json
└── series

workspace-info opisuje serie, karty, repo źródłowe, repo odpowiedzi i branche. Nie przechowuje tokenów ani lokalnych plików roboczych ucznia.

Aktualizacja manifestu:

./rvctl workspace sync

Komendy zależne od manifestu, na przykład series list, series cards list, series cards fetch i tasks list, automatycznie klonują workspace-info, jeżeli lokalnej kopii jeszcze nie ma. Nie wykonują automatycznego pull na istniejącym repo; do odświeżania służy jawne workspace sync.