Add endpoint-aware token management commands

This commit is contained in:
mpabi
2026-04-26 10:26:00 +02:00
parent a0930de5e1
commit f76334e5c2
4 changed files with 930 additions and 34 deletions
+30 -4
View File
@@ -1,10 +1,19 @@
# RV Launcher
## Authors
Mateusz Pabiszczak, 2026
## Status
Draft
Launcher do workspace `rv`.
- `workspace.json` trzyma sciezki workspace i tools
- `workspace.py` listuje serie i karty
- szczegolowy opis przelacznikow skryptu jest w `doc/usage.md`
- model tokenow i synchronizacji repo <-> store jest w `doc/tokens.md`
## Przygotowanie katalogu
@@ -57,10 +66,19 @@ Minimalny format:
```json
{
"users": {
"u1": {
"tokens": {
"t1": "TU_WSTAW_TOKEN"
"version": 2,
"servers": {
"http://77.90.8.171:3001": {
"type": "gitea",
"scheme": "http",
"host": "77.90.8.171",
"port": 3001,
"users": {
"u1": {
"tokens": {
"t1": "TU_WSTAW_TOKEN"
}
}
}
}
}
@@ -87,6 +105,14 @@ git remote add r1 http://77.90.8.171:3001/edu-tools/rv-launcher.git
Launcher umie tez przemigrowac stary plik `tokens/gitea_tokens.json` do nowego
`tokens/tokens.json`.
Podstawowe komendy tokenow:
```bash
python3 workspace.py tokens scan
python3 workspace.py tokens read
python3 workspace.py tokens stats
```
## Fetch i switch
Domyslna galaz launchera to `main`.