tools/devarea
4
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Close the desktop store item, and fix a check that had started lying

Browse Source 
MORE_STORES item 2 is done: stores/warp-engine-desktop-store and
stores/ttg-desktop-store. The write-up records what the implementation changed
about the plan — chiefly that the `html` asset is not a downloadable archive but a
hosted directory, so a browser title becomes a menu entry that opens its page
rather than an offline install.

Separately: `check-repos.sh` reported `infra/wiki-pages` as STALE while the repo
was plainly there. Gitea caps a page at 50 items whatever `--limit` says, so
`tea repo list --limit 1000` had been quietly returning the first 50 — invisible
until today, when the estate reached 51 repos. The check now pages through, and
fails loudly if the server returns nothing at all rather than declaring the whole
workspace stale.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
mr.zero
2026-08-18 10:00:41 +02:00
co-authored by Claude Opus 5
parent de86f7b62c
commit 30e9a5a6e2
7 changed files with 231 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/check-repos.sh
+18 -2
View File
@@ -21,8 +21,24 @@ command -v tea >/dev/null 2>&1 || {
exit 1
}
# Repos on the server: owner/name
server=$(tea repo list --output json --limit 1000 | jq -r '.[] | .owner + "/" + .name' | sort)
# Repos on the server: owner/name.
#
# Paginated on purpose. Gitea caps a page at MAX_RESPONSE_ITEMS (50 by default)
# whatever --limit says, so `tea repo list --limit 1000` silently returns the
# first 50 — which looked like a repo had vanished from the server the day the
# estate grew past fifty. Pages are requested until a short one comes back.
server=$(
page=1
while :; do
batch=$(tea api "/user/repos?limit=50&page=$page" | jq -r '.[].full_name')
[ -z "$batch" ] && break
echo "$batch"
[ "$(echo "$batch" | wc -l)" -lt 50 ] && break
page=$((page + 1))
done | sort -u
)
[ -n "$server" ] || { echo "ERROR: the server returned no repos — is the tea login still valid?" >&2; exit 1; }
# Gitea repos in the clone list: owner/name extracted from the clone URL
listed=$(sed -nE "s#^[^|#]+\|ssh://git@${GITEA_HOST}:[0-9]+/(.+)\$#\1#p" "$LIST" | sed 's/\.git$//' | sort)
scripts/repos.list
+2
View File
@@ -57,8 +57,10 @@ services/teletype-orbit|ssh://git@git.teletypegames.org:2222/services/teletype-o
services/updater|ssh://git@git.teletypegames.org:2222/services/updater
stores/ttg-batocera-store|ssh://git@git.teletypegames.org:2222/stores/ttg-batocera-store
stores/ttg-desktop-store|ssh://git@git.teletypegames.org:2222/stores/ttg-desktop-store
stores/ttg-retroarch-store|ssh://git@git.teletypegames.org:2222/stores/ttg-retroarch-store
stores/warp-engine-batocera-store|ssh://git@git.teletypegames.org:2222/stores/warp-engine-batocera-store
stores/warp-engine-desktop-store|ssh://git@git.teletypegames.org:2222/stores/warp-engine-desktop-store
stores/warp-engine-retroarch-store|ssh://git@git.teletypegames.org:2222/stores/warp-engine-retroarch-store
tools/tic80-draw-image|https://github.com/cxong/tic80-draw-image.git
tools/ttg-marketplace|ssh://git@git.teletypegames.org:2222/tools/ttg-marketplace