comment
This commit is contained in:
parent
086cb30eb1
commit
62dd19e391
1 changed files with 14 additions and 0 deletions
|
@ -0,0 +1,14 @@
|
||||||
|
[[!comment format=mdwn
|
||||||
|
username="joey"
|
||||||
|
subject="""comment 4"""
|
||||||
|
date="2023-01-16T18:22:16Z"
|
||||||
|
content="""
|
||||||
|
Reviewing this, I think what we've shown is that there's no good way to
|
||||||
|
shorten it, that does not have other tradeoffs!
|
||||||
|
|
||||||
|
And what's the real problem with the man page being a bit longer?
|
||||||
|
Most users are probably not reading through all that, but are searching.
|
||||||
|
And users who do read through it get to see around 5 commands summarized
|
||||||
|
per page on their 25 line dumb terminal. Those of us with modern hardware
|
||||||
|
can often see considerably more commands per page.
|
||||||
|
"""]]
|
Loading…
Add table
Add a link
Reference in a new issue