From a84b0e1fbd1edff8021c602c2b942c6ddd9e67b7 Mon Sep 17 00:00:00 2001
From: mpabi <mpabi@mpabi.pl>
Date: Sun, 26 Apr 2026 15:19:35 +0200
Subject: [PATCH] Use rvctl as sole launcher entrypoint

---
 README.md                | 10 +++++-----
 doc/rvctl.md             |  9 ++++-----
 doc/workspace.md         | 12 +++++++-----
 rvctl                    |  2 +-
 workspace.py => rvctl.py |  2 ++
 workspace                |  4 ----
 wspace                   |  4 ----
 7 files changed, 19 insertions(+), 24 deletions(-)
 rename workspace.py => rvctl.py (99%)
 mode change 100755 => 100644
 delete mode 100755 workspace
 delete mode 100755 wspace

diff --git a/README.md b/README.md
index 542469f..d300e54 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 Launcher do workspace `rv`.
 
 - `workspace.json` trzyma sciezki repo oryginalnych, workspace i tools
+- `rvctl.py` zawiera implementacje CLI
 - `rvctl` listuje serie i karty
 - szczegolowy opis CLI jest w `doc/rvctl.md`
 - model tokenow i synchronizacji repo <-> store jest w `doc/tokens.md`
@@ -60,16 +61,15 @@ cd ~/dev/workspace/rv/tools/rv-launcher
 git init
 ```
 
-Glowne entrypointy:
+Glowne pliki CLI:
 
 ```bash
 ./rvctl
-./workspace
-./wspace
+rvctl.py
 ```
 
-`rvctl` jest nazwa podstawowa. `workspace` i `wspace` sa aliasami do tego
-samego CLI.
+`rvctl` jest jedynym publicznym entrypointem. `rvctl.py` jest implementacja
+uruchamiana przez wrapper i nie wymaga osobnego wywolywania przez ucznia.
 
 ## Autoryzacja
 
diff --git a/doc/rvctl.md b/doc/rvctl.md
index e55f6e4..0893df0 100644
--- a/doc/rvctl.md
+++ b/doc/rvctl.md
@@ -55,16 +55,15 @@ git clone http://77.90.8.171:3001/edu-tools/rv-launcher.git
 cd rv-launcher
 ```
 
-Glowne entrypointy:
+Glowne pliki CLI:
 
 ```bash
 ./rvctl
-./workspace
-./wspace
+rvctl.py
 ```
 
-`rvctl` jest nazwa podstawowa. `workspace` i `wspace` sa aliasami do tego
-samego CLI.
+`rvctl` jest jedynym publicznym entrypointem. `rvctl.py` jest implementacja
+uruchamiana przez wrapper i nie wymaga osobnego wywolywania przez ucznia.
 
 ### Autoryzacja
 
diff --git a/doc/workspace.md b/doc/workspace.md
index d9fbc63..b47c2be 100644
--- a/doc/workspace.md
+++ b/doc/workspace.md
@@ -1,11 +1,13 @@
-# Workspace CLI
+# Workspace
 
-Skrot dokumentacji jest teraz w `doc/rvctl.md`.
+Ten plik opisuje tylko kontekst workspace. Szczegolowy opis CLI jest w
+`doc/rvctl.md`.
 
-Glowne entrypointy:
+Publiczny entrypoint launchera:
 
 ```bash
 ./rvctl
-./workspace
-./wspace
 ```
+
+Implementacja CLI znajduje sie w `rvctl.py`. Plik `workspace.json` przechowuje
+sciezki workspace, series, socketow, tokenow i fallback do repo zrodlowych.
diff --git a/rvctl b/rvctl
index 19a1e6b..4eddf61 100755
--- a/rvctl
+++ b/rvctl
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 set -euo pipefail
 SCRIPT_DIR="$(cd -- "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-exec python3 "$SCRIPT_DIR/workspace.py" "$@"
+exec python3 "$SCRIPT_DIR/rvctl.py" "$@"
diff --git a/workspace.py b/rvctl.py
old mode 100755
new mode 100644
similarity index 99%
rename from workspace.py
rename to rvctl.py
index 7578ef5..e6ae53d
--- a/workspace.py
+++ b/rvctl.py
@@ -1,4 +1,6 @@
 #!/usr/bin/env python3
+"""rvctl command-line implementation."""
+
 from __future__ import annotations
 
 import argparse
diff --git a/workspace b/workspace
deleted file mode 100755
index 49fee02..0000000
--- a/workspace
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-SCRIPT_DIR="$(cd -- "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-exec "$SCRIPT_DIR/rvctl" "$@"
diff --git a/wspace b/wspace
deleted file mode 100755
index 49fee02..0000000
--- a/wspace
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-SCRIPT_DIR="$(cd -- "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-exec "$SCRIPT_DIR/rvctl" "$@"