diff options
author | 2015-05-30 11:46:10 -0400 | |
---|---|---|
committer | 2015-05-30 11:46:10 -0400 | |
commit | 1945dd8bcd10daf98a7ce6b9f10e47ebe0ef21f9 (patch) | |
tree | 92e35a21b3181824a5290e83aaf0e2edfa760299 /doc/todo | |
parent | 9d1b399504651300ad75833ab8a0cea839a3f14b (diff) |
comment
Diffstat (limited to 'doc/todo')
-rw-r--r-- | doc/todo/shorten_git-annex_manpage/comment_1_4b82eb4af9b923b23c6ecd8d355c0651._comment | 24 |
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. +"""]] |