Skip to content

docs: relocate dev scripts to docs/developer/scripts/ - #57

Merged
BerryUIKI merged 1 commit into
devfrom
docs/dev-scripts-move
Aug 6, 2026
Merged

BerryUIKI merged 1 commit into
devfrom
docs/dev-scripts-move

Conversation

@BerryUIKI

Copy link
Copy Markdown
Owner

Summary

Move the developer-side i18n scripts from docs/developer/ into docs/developer/scripts/ so dev tooling is grouped in one place.

Changes

  • git mv i18n_svg.py + i18n_dicts.py → docs/developer/scripts/ (both detected as renames)
  • VI-GUIDE.md: localization workflow commands/paths updated (5 refs)
  • docs/developer/README.md: repo layout now lists scripts/
  • i18n_svg.py internals fixed for the new location:
    • BASE now walks 4 dirname levels (was 3 — would have resolved to docs/)
    • --extract writes i18n_dicts.py next to the script (was stale scripts/dev/ path)
    • docstring paths updated
  • CHANGELOG.md: [Unreleased] docs entry added

Verification

  • py_compile + import assertions pass (BASE = repo root, 8 locales match, assets resolvable)
  • Real run python docs/developer/scripts/i18n_svg.py --locale de-DE → zero asset churn

- git mv i18n_svg.py + i18n_dicts.py -> docs/developer/scripts/
- VI-GUIDE.md: update workflow commands/paths (5 refs)
- docs/developer/README.md: repo layout now lists scripts/
- i18n_svg.py: fix BASE depth (4 dirname levels) for new location,
  --extract output path (was stale scripts/dev/), docstring paths
- CHANGELOG [Unreleased]: add docs entry
@BerryUIKI
BerryUIKI merged commit 79eaff6 into dev Aug 6, 2026
1 check passed
@BerryUIKI
BerryUIKI deleted the docs/dev-scripts-move branch August 6, 2026 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant