Skip to content

Link to docs/commands.md from the README REPL section#140

Open
mazurroman wants to merge 1 commit into
mainfrom
rm/readme-link-commands-doc
Open

Link to docs/commands.md from the README REPL section#140
mazurroman wants to merge 1 commit into
mainfrom
rm/readme-link-commands-doc

Conversation

@mazurroman

Copy link
Copy Markdown
Member

Summary

  • docs/commands.md (added in soldb-repl: add resource info command #137) is the authoritative reference for the interactive REPL command set, but nothing in the repo linked to it (grep -rn commands.md returned no hits).
  • Add a one-line pointer below the first "Inside REPL:" snippet so anyone reading the README's interactive examples can find the full command list without grepping docs/.

Test plan

  • Linked file exists (docs/commands.md).
  • Diff is one additive line; no surrounding content moved.

docs/commands.md (added in #137) is the authoritative reference for
the interactive REPL command set, but nothing in the repo linked to it.
Add a one-line pointer below the first 'Inside REPL:' snippet so anyone
reading the README's interactive examples can find the full command list
without grepping the docs/ tree.
@mazurroman mazurroman force-pushed the rm/readme-link-commands-doc branch from 49e6c22 to cbfba3e Compare May 13, 2026 13:11
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