Skip to content

Conversation

@waldyrious
Copy link
Member

I have tried to use some of the helper scripts at scripts/ and found them somewhat confusing and hard to reason about.
I decided to submit a few small improvements to make them slighly less mysterious to the uninitiated :)

  • fix name and docs for get_pages_dirs()
  • remove redundant split-rejoin operation
  • print help when scripts are invoked without arguments

Checklist

  • The PR is authored by me, or has been human-reviewed if it was created with AI or machine translation software.
  • The PR title conforms to the recommended templates.

@github-actions github-actions bot added the tooling Helper tools, scripts and automated processes. label Dec 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

tooling Helper tools, scripts and automated processes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants