Re: [PATCH v8 4/6] notes.c: introduce '--separator=<paragraph-break>' option

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 25, 2023, 17:35 UTC
Message-ID: <xmqqleif27bk.fsf@gitster.g>
In-Reply-To: <be86f9cac3e651ab5aab49f89b6506012b756dab.1682429602.git.dyroneteng@gmail.com>

Teng Long <dyroneteng@gmail.com> writes:

Show 10 quoted lines

> From: Teng Long <dyroneteng@gmail.com>
>
> When adding new notes or appending to an existing notes, we will
> insert a blank line between the paragraphs, like:
>
>      $ git notes add -m foo -m bar
>      $ git notes show HEAD | cat
>      foo
>
>      bar

That's a pointless piping to "cat". Piping to "cat -n" might be a good way to illustrate what happens, though, i.e.

    $ git notes show HEAD | cat -n
         1  foo
         2
         3  bar

I have no strong preference either way (the other more obvious alternative is to just remove "| cat").

$ 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.