mpabi
54 lines
1.2 KiB
Markdown
54 lines
1.2 KiB
Markdown
# Workspace
|
|
|
|
Ten plik opisuje tylko kontekst workspace. Szczegółowy opis CLI jest w
|
|
`doc/rvctl.md`.
|
|
|
|
Publiczny entrypoint launchera:
|
|
|
|
```bash
|
|
./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:
|
|
|
|
```text
|
|
edu-workspace/workspace-info
|
|
```
|
|
|
|
Lokalna kopia manifestu znajduje się w:
|
|
|
|
```text
|
|
~/dev/workspace/rv/meta/workspace-info
|
|
```
|
|
|
|
Typowy układ:
|
|
|
|
```text
|
|
~/dev/workspace/rv
|
|
├── meta
|
|
│ └── workspace-info
|
|
├── tools
|
|
│ └── stem-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:
|
|
|
|
```bash
|
|
./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`.
|