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

Re: [PATCH v5] userdiff: improve java hunk header regex

From
Tassilo Horn <tsdh@gnu.org>
Date
Aug 11, 2021, 18:55 UTC
Message-ID
<87fsvf6bva.fsf@gnu.org>
In-Reply-To
<xmqqo8a397ib.fsf@gitster.g>
Junio C Hamano <gitster@pobox.com> writes:
Show 7 quoted lines
>> That leads to the question if you'd welcome a patch adding a
>> .dir-locals.el to the repository with the right settings so that
>> it'll just work for contributors using the One True Editor.  Would
>> you?
>
> If your one true editor honored what is in .editorconfig, perhaps
> there was no need for us to be having this conversation?  I dunno.

Ah, I'm sorry, I wasn't aware of that. I've installed the editorconfig Emacs plugin [1] which seems to do the trick.

Bye, Tassilo

[1] https://github.com/editorconfig/editorconfig-emacs
Previous: Junio C Hamano
Message 5 of 5 in “userdiff: improve java hunk header regex”
  1. userdiff: improve java hunk header regexTassilo Horn, Aug 11, 2021
  2. Junio C HamanoAug 11, 2021
  3. Tassilo HornAug 11, 2021
  4. Junio C HamanoAug 11, 2021
  5. Tassilo HornAug 11, 2021

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.