Add task shortcuts for default card

This commit is contained in:
mpabi
2026-04-29 11:33:18 +02:00
parent 445c4908ef
commit b3be495afb
4 changed files with 130 additions and 6 deletions
+42
View File
@@ -215,6 +215,9 @@ Komendy:
- `series cards tasks list SERIES CARD`
- `series cards tasks show SERIES CARD TASK`
- `series cards tasks switch SERIES CARD TASK`
- `tasks list [CARD|SERIES CARD]`
- `tasks show TASK|CARD TASK|SERIES CARD TASK`
- `tasks switch TASK|CARD TASK|SERIES CARD TASK`
- `tokens scan`
- `tokens compare`
- `tokens read`
@@ -486,6 +489,45 @@ końcówki `a`. Dla użytkownika `u1` i zadania `task4_stack_strlen` będzie to
./rvctl series cards tasks switch inf bss 4
```
## `tasks list`
Skrót do listowania zadań z domyślnej karty z `workspace.json`.
```bash
./rvctl tasks list
```
Opcjonalnie można wskazać kartę albo serię i kartę:
```bash
./rvctl tasks list bss
./rvctl tasks list inf bss
```
## `tasks show TASK`
Skrót do podglądu zadania z domyślnej karty.
```bash
./rvctl tasks show 4
./rvctl tasks show bss 4
./rvctl tasks show inf bss 4
```
## `tasks switch TASK`
Skrót do przełączenia na branch odpowiedzi dla zadania z domyślnej karty.
```bash
./rvctl tasks switch 4
```
Ta komenda działa tak samo jak pełna forma:
```bash
./rvctl series cards tasks switch inf bss 4
```
## `list-series`
Alias kompatybilności dla `series list`.
+21 -2
View File
@@ -22,8 +22,8 @@ workspace.
./rvctl series list
./rvctl series cards list inf
./rvctl series cards fetch inf bss
./rvctl series cards tasks list inf bss
./rvctl series cards tasks switch inf bss 1
./rvctl tasks list
./rvctl tasks switch 1
```
Dla karty `bss` właściwym repo jest `lab-rv32i-strlen-bss-data-stack`.
@@ -126,6 +126,7 @@ store tokenów i zadania, na przykład `u1T1a`.
## Zadania w karcie
Zadania są częścią karty, dlatego trzymamy je pod `series cards tasks`.
Do codziennej pracy z domyślną kartą można używać krótszego namespace `tasks`.
### `series cards tasks list SERIES CARD`
@@ -135,6 +136,12 @@ Listuje zadania dostępne w konkretnej karcie.
./rvctl series cards tasks list inf bss
```
Skrót dla domyślnej karty:
```bash
./rvctl tasks list
```
Przykładowy wynik:
```text
@@ -152,6 +159,12 @@ Pokazuje informacje o konkretnym zadaniu w karcie.
./rvctl series cards tasks show inf bss task1
```
Skrót dla domyślnej karty:
```bash
./rvctl tasks show 1
```
### `series cards tasks switch SERIES CARD TASK`
Tworzy albo przełącza lokalny branch pracy dla wybranego zadania.
@@ -160,6 +173,12 @@ Tworzy albo przełącza lokalny branch pracy dla wybranego zadania.
./rvctl series cards tasks switch inf bss 4
```
Skrót dla domyślnej karty:
```bash
./rvctl tasks switch 4
```
Nazwa brancha jest liczona automatycznie z użytkownika w `tokens.json` i numeru
zadania. Dla użytkownika `u1` i zadania `task4_stack_strlen` powstanie: