From: "Junio C Hamano" <gits...@pobox.com>
Sent: Thursday, August 16, 2012 9:23 PM
"Philip Oakley" <philipoak...@iee.org> writes:
I wasn't aware of the "abbreviated options" capability. Is meant to
be in the man pages as I couldn't find it, or is it described
differently?
$ git help gitcli
is the closest that comes to mind.
If it is not reachable from "git help git", we may want to sprinkle
some more linkgit:gitfoo[$n] around the documentation sources. I
didn't check.
I eventually found a reference in the parse-options API to the fact that
'Long options may be abbreviated, as long as the abbreviation is
unambiguous.'
It may be worth bringing some of those parse-options API basics bullets'
forward into the gitcli page, if appropriate.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
