summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-05-30 11:46:10 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-05-30 11:46:10 -0400
commit1945dd8bcd10daf98a7ce6b9f10e47ebe0ef21f9 (patch)
tree92e35a21b3181824a5290e83aaf0e2edfa760299
parent9d1b399504651300ad75833ab8a0cea839a3f14b (diff)
comment
-rw-r--r--doc/todo/shorten_git-annex_manpage/comment_1_4b82eb4af9b923b23c6ecd8d355c0651._comment24
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/todo/shorten_git-annex_manpage/comment_1_4b82eb4af9b923b23c6ecd8d355c0651._comment b/doc/todo/shorten_git-annex_manpage/comment_1_4b82eb4af9b923b23c6ecd8d355c0651._comment
new file mode 100644
index 000000000..a0a1b6d26
--- /dev/null
+++ b/doc/todo/shorten_git-annex_manpage/comment_1_4b82eb4af9b923b23c6ecd8d355c0651._comment
@@ -0,0 +1,24 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 1"""
+ date="2015-05-30T15:36:45Z"
+ content="""
+I don't like the "git-init" approach; git-init used to be in PATH,
+but no longer is, so the git man page is really a bit broken now.
+And of course, git-annex-undo is not actually a filename.
+
+The second approach doesn't shorten it much and makes it harder
+to skip over the boilerplate in the links when reading since it's moved
+into the same paragraph as the description and will appear at differing
+positions depending on the description length.
+
+I'd rather make the command name be a hyperlink. However,
+it's difficult to reconcile this with the limitations of man
+pages.
+
+Maybe aim for something like this in the man page display,
+although I don't know if it can be accomplished:
+
+ undo [filename|directory] ... git-annex-undo(1)
+ Undo last change to a file or directory.
+"""]]