Add picotool help topics#342
Open
will-v-pi wants to merge 12 commits into
Open
Conversation
Move device selection options into a separate picotool help device-selection command, rather than appearing in every help output Also add a family-ids topic to list available family IDs (fixes #305)
Contributor
|
maybe worth renaming "device selection" at least the heading/docs (not the help option) to indicate that it has other stuff like reboot |
lurch
reviewed
Jul 15, 2026
lurch
reviewed
Jul 15, 2026
lurch
reviewed
Jul 15, 2026
lurch
reviewed
Jul 15, 2026
lurch
reviewed
Jul 15, 2026
Contributor
Author
I have updated it to "Options for Target Device Selection and Rebooting" |
lurch
reviewed
Jul 15, 2026
lurch
reviewed
Jul 16, 2026
lurch
reviewed
Jul 16, 2026
Contributor
|
Perhaps the "Show general help or help for a specific command" now ought to say "Show general help, or help for a specific command or topic". |
Add docs for `version` and remove ALLOWED_MISSING_COMMANDS "Post load actions" -> "Load options" set/get -> get/set Fix white-label -s option not showing up Fix otp permissions docs
gen_help_txt.sh tidyups Add topic mention to picotool help docs Missing comma in block devices docs
Fixes things like --family <family_id> appearing on separate lines Also ensures short and long options are shown in the help output
…tout Also ensure all lines end in full-stops
…ool help uf2` etc
lurch
reviewed
Jul 16, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The device selection options have got quite long, so move them into a separate
picotool help device-selectioncommand, rather than appearing in every help outputAlso add a family-ids topic to list available family IDs (fixes #305)
Also makes various improvements to the help output.