RFR: 755: Anything starting with a "/" is treated as a command

Kevin Rushforth kcr at openjdk.org
Fri Feb 24 15:12:52 UTC 2023


On Fri, 24 Feb 2023 14:38:34 GMT, Vijay Kulkarni <duke at openjdk.org> wrote:

> 755: Anything starting with a "/" is treated as a command

This seem like too simplistic an approach to me, in that it trades one problem for another. Now a typo in a command name, such as `/intigrate` or similar, will show up as a review comment without the helpful "unrecognized command" comment and suggestion to type `/help`.

I might recommend the more targeted solution of not treating `/sometext` as a command when it appears in a code block.

As for other problematic cases, wasn't there an earlier change to not treat `/sometext` as a command unless it was at the beginning of a line (after trimming whitespace)? If not, then that would also be a good change.

I'll test that theory now: /integrate which Skara should ignore.

-------------

PR: https://git.openjdk.org/skara/pull/1479


More information about the skara-dev mailing list