rv-launcher jest narzedziem do pracy z workspace RISC-V. Publiczna komenda narzedzia to rvctl; obsluguje tokeny, listuje serie i karty, przygotowuje repo odpowiedzi i uruchamia kontener.

rvctl jest krotkim wrapperem:

./rvctl

Wrapper uruchamia wykonywalny skrypt rvctl.py. Sciezki i domyslne ustawienia sa trzymane w workspace.json.

Co robi narzedzie

rvctl porzadkuje prace w trzech obszarach.

Zarzadzanie tokenami

Narzedzie obsluguje lokalny store tokens/tokens.json, porownuje go z git remotes i potrafi synchronizowac token w obie strony. Szczegoly modelu, format pliku i opis komend sa w doc/tokens.md.
Listowanie i pobieranie kart pracy

rvctl czyta serie i karty z workspace, pomaga wybrac material do pracy oraz przygotowuje remotes potrzebne do repo odpowiedzi. Szczegoly komend list-series, list-cards i submission sa w doc/rvctl.md.
Uruchamianie srodowiska programistycznego w kontenerach

Dla wybranej karty rvctl uruchamia sesje tmux i kontener z przygotowanym srodowiskiem developerskim. Szczegoly komendy tmux-container sa w doc/rvctl.md.

Model katalogow

Repozytoria zrodlowe trzymamy poza workspace:

~/dev/edu/repos/rv

Workspace sluzy do klonow roboczych, cwiczen, tokenow i socketow:

~/dev/workspace/rv

Typowy uklad:

~/dev/edu/repos/rv/rv-launcher
~/dev/edu/repos/rv/rv32i-hazard3-env
~/dev/edu/repos/rv/series/<seria>/<karta>
~/dev/workspace/rv/tools/rv-launcher
~/dev/workspace/rv/tools/rv32i-hazard3-env
~/dev/workspace/rv/series/<seria>/<karta>
~/dev/workspace/rv/tokens/tokens.json

rvctl pracuje na kartach z series_root w workspace. Repo zrodlowe w ~/dev/edu/repos/rv sa punktem odniesienia i fallbackiem dla narzedzi.

Szybki start

Najpierw zobacz konfiguracje i dostepne komendy:

./rvctl
./rvctl show-config

Typowy przeplyw pracy:

./rvctl tokens compare
./rvctl list-series
./rvctl list-cards inf
./rvctl tmux-container inf 03 --dry-run
./rvctl tmux-container inf 03 --session rv-inf03 --attach
./rvctl submission inf 03 --class 4i --nick u1

--dry-run jest przydatny przy sprawdzaniu planu uruchomienia lub konfiguracji repo, zanim narzedzie cos zmieni.

Dokumentacja

doc/rvctl.md - komendy CLI, przelaczniki i przyklady uzycia
doc/tokens.md - model tokenow, synchronizacja remote <-> store
doc/tokens.schema.json - schemat tokens/tokens.json
doc/workspace.md - krotki opis konfiguracji workspace

README jest tylko mapa projektu. Szczegoly operacyjne trzymamy w doc/, zeby nie dublowac instrukcji w kilku miejscach.