Re: [wiki] [sites] Use ".diff" consistently. || Raf Czlonka

From: Quentin Rameau <quinq_AT_fifth.space>
Date: Tue, 6 Mar 2018 14:15:53 +0100

> as far as I know, there is a difference between wiki-diffs (output of
> git diff) and patches (git-formatted) sent to the ml.
> For the former we want .diff and the latter we want .patch.

More or less.

Most patch utilities will be able to discard patch headers (as seen in
git patches output).

Strictly speaking “diff -p”, as seen on the wiki, isn't portable either.

Also, filenames don't determine how the file format will be parsed by
the tools.

Still, the page was inconsistent indeed, for example we recommended
filename format “toolname-patchname-YYYYMMDD-SHORTHASH.diff” for git
patches, but “toolname-patchname-YYYYMMDD-SHORTHASH.patch” for patch
generation.

It's not too much important though.
Received on Tue Mar 06 2018 - 14:15:53 CET

This archive was generated by hypermail 2.3.0 : Tue Mar 06 2018 - 14:24:25 CET