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

Re: Alternative to manual editing with git add --patch

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Oct 15, 2015, 15:06 UTC
Message-ID
<alpine.DEB.1.00.1510151702420.31610@s15462909.onlinehome-server.info>
In-Reply-To
<561FAC12.5020007@gmx.de>
Hi Sven,
On Thu, 15 Oct 2015, Sven Helmberger wrote:
Show 6 quoted lines
> Am 15.10.2015 um 12:11 schrieb Johannes Schindelin:
> > 
> > This is all technically sound. From a usability perspective I would wish
> > more for a way to exclude or filter the lines by a pattern. 
> 
> Why not do both?

Because sometimes more is less. If users are overwhelmed with many, many options, they are *less* likely to benefit from the few that are easy to use because they won't find out about them.

Ciao, Johannes

Previous: Sven HelmbergerNext: Sven Helmberger
Message 8 of 9 in “Alternative to manual editing with git add --patch”
  1. Sven HelmbergerOct 14, 2015
  2. Matthieu MoyOct 14, 2015
  3. Johannes SchindelinOct 14, 2015
  4. Junio C HamanoOct 14, 2015
  5. Sven HelmbergerOct 14, 2015
  6. Johannes SchindelinOct 15, 2015
  7. Sven HelmbergerOct 15, 2015
  8. Johannes SchindelinOct 15, 2015
  9. Sven HelmbergerOct 15, 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.