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