From d31f01bd0f033fcc7c923ba44993b1da19fc6e47 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Fri, 9 Apr 2021 11:09:03 -0700 Subject: [PATCH] tools: Improve output from check-capitalization. Ideally, we'd print line numbers etc., but that's complicated because the `translation.json` format doesn't include them, and usually it's easy to find strings because you just added them anyway. But adding a bit more of a `git grep` hint should help. Fixes #14321. --- tools/check-capitalization | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/check-capitalization b/tools/check-capitalization index 57b3b49b44..8ce03c7dc5 100755 --- a/tools/check-capitalization +++ b/tools/check-capitalization @@ -68,7 +68,10 @@ if __name__ == "__main__": docs_url = ( "https://zulip.readthedocs.io/en/latest/translating/translating.html#capitalization" ) - print(WARNING + "See " + docs_url + ENDC) + print() + print(WARNING + "You can usually find strings using `git grep 'String to find'`" + ENDC) + print(WARNING + "See also " + docs_url + ENDC) + print() print(FAIL + "Failed!" + ENDC) sys.exit(1) else: