comment
authorJoey Hess <joeyh@joeyh.name>
Mon, 16 Jan 2023 18:28:46 +0000 (14:28 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 16 Jan 2023 18:28:46 +0000 (14:28 -0400)
doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment [new file with mode: 0644]

diff --git a/doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment b/doc/todo/shorten_git-annex_manpage/comment_4_fa6c2870f4a83d0f5680b76b05009e4b._comment
new file mode 100644 (file)
index 0000000..57e91fd
--- /dev/null
@@ -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.
+"""]]