git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] pull: add angle brackets to usage string

From
Junio C Hamano <gitster@pobox.com>
Date
Oct 20, 2015, 18:18 UTC
Message-ID
<xmqqeggp8kus.fsf@gitster.mtv.corp.google.com>
In-Reply-To
<CAMMLpeStjJY2sqGvC0wV_OqFSA3OuzmcDitvr53d=z8+y2dBYA@mail.gmail.com>
Alex Henrie <alexhenrie24@gmail.com> writes:
Show 6 quoted lines
> I pushed to change [options] to [<options>] because even if the angle
> brackets don't help new users or translators in this particular case,
> the angle brackets encourage Git authors to use angle brackets when
> writing commands that are not so easy to understand. If you think that
> [<option>...] is better because it is even more consistent, I would be
> happy to send a patch to make that change.

I do agree that [<option>...] would make things consistent between options and non-option arguments. But I also would expect that reasonably intelligent readers know that options are special, and they would understand that [options] and [<options>] mean the same thing as [<option>...] anyway, so I do not feel too strongly either way myself (meaning: I wouldn't be motivated to prepare patches for it myself, I wouldn't jump up and down saying they are wrong and revert them if such patches were applied by an interim maintainer while I am on vacation, and I would apply such patches myself only if they do not overly interfere with topics in flight while merging).

Thanks.
Previous: Alex HenrieNext: Ralf Thielow
Message 8 of 10 in “pull: add angle brackets to usage string”
  1. pull: add angle brackets to usage stringAlex Henrie, Oct 16, 2015
  2. Junio C HamanoOct 16, 2015
  3. Alex HenrieOct 16, 2015
  4. Junio C HamanoOct 16, 2015
  5. Alex HenrieOct 19, 2015
  6. Junio C HamanoOct 20, 2015
  7. Alex HenrieOct 20, 2015
  8. Junio C HamanoOct 20, 2015
  9. Ralf ThielowOct 16, 2015
  10. Junio C HamanoOct 16, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.