GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | |||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | |||||||
GeezerVison is showing github.com — gh-131178: Update help message for `timeit` CLI by donbarbos · Pull Request #131326 · python/cpython Conversation
|
|
Is the |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
The reason will be displayed to describe this comment to others. Learn more.
I wasn't sure if this was correct, so I checked some GNU help pages. Conclusion -- it seems to be.
I did however like the handy link to the online docs.
$ cat --help
...
GNU coreutils online help: <https://www.gnu.org/software/coreutils/>
Full documentation <https://www.gnu.org/software/coreutils/cat>
or available locally via: info '(coreutils) cat invocation'
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was an error while loading. Please reload this page.
|
and the first empty line appears as it is in |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
What I meant is that on your second screenshot: There is no newline between the end of the help and the prompt. I think we need a new line, as we currently have (but without |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
got it. we can either remove |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
Yeah, I can repro the percent on
And with this PR we get two blank lines:
If we remove this newline (that is, revert da4d71f) we get a single blank line:
Please can you revert da4d71f? Thanks! |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
|
currently for but i can remove the second one again |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
This reverts commit da4d71f.
|
Thanks! |
Sorry, something went wrong.
There was an error while loading. Please reload this page.
There was an error while loading. Please reload this page.
Successfully merging this pull request may close these issues.
There was an error while loading. Please reload this page.