Add default series and card commands

This commit is contained in:
mpabi
2026-05-01 23:00:32 +02:00
parent 40cfa61f4c
commit 0505b829a1
4 changed files with 215 additions and 10 deletions
+36
View File
@@ -23,7 +23,9 @@ używa starego fallbacku przez `original_series_root`.
```bash
./rvctl tokens compare
./rvctl series list
./rvctl series use inf
./rvctl series cards list inf
./rvctl card use bss
./rvctl series cards fetch inf bss
./rvctl tasks list
./rvctl tasks switch 1
@@ -62,6 +64,15 @@ Pokazuje informacje o serii.
./rvctl series show inf
```
### `series use SERIES`
Ustawia domyślną serię w `workspace.json`. Po tej komendzie skróty kart i
zadań mogą korzystać z tej serii bez podawania jej za każdym razem.
```bash
./rvctl series use inf
```
## Karty
### `series cards list SERIES`
@@ -81,6 +92,31 @@ bss lab-rv32i-strlen-bss-data-stack source rv32i-c / bss-data-stack
Pierwsza kolumna jest krótką nazwą karty. Pełna nazwa repo zostaje w drugiej
kolumnie.
### `card use CARD`
Ustawia domyślną kartę w aktualnie domyślnej serii. Dla serii `inf`:
```bash
./rvctl card use bss
```
Komenda zapisuje `defaults.card` w `workspace.json`.
### `card use SERIES CARD`
Ustawia jednocześnie domyślną serię i domyślną kartę:
```bash
./rvctl card use inf bss
```
To jest odpowiednik:
```bash
./rvctl series use inf
./rvctl card use bss
```
### `series cards fetch SERIES CARD`
Pobiera albo aktualizuje jedną kartę w workspace. `CARD` może być krótką nazwą