On Tuesday June 02 2015 17:23:36 Lawrence Velázquez wrote:
> I knew that patches could have ancillary text at the top. What I didn't know
> was that said text could be interspersed between hunks as well.
I was just trying to say that this follows from the format. I wouldn't put
metadata between
On Jun 2, 2015, at 3:38 PM, René J.V. Bertin wrote:
> On Tuesday June 02 2015 15:09:48 Lawrence Velázquez wrote:
>
>> Okay; I wasn't sure if patch could deal with them.
>
> Patchfiles (at least unified diffs) have context, which is why you get those
> weird @@ lines in them: they describe wher
On Tuesday June 02 2015 15:09:48 Lawrence Velázquez wrote:
> > Does one need a checksum (seems contradictory to using "master" as the
> > patch end-point...)?
>
> Yes, you need a checksum. You shouldn't use "master" or any symbolic
> reference; I only did so as an example.
That's probably the
On Tue, Jun 2, 2015 at 3:09 PM, Lawrence Velázquez
wrote:
> Okay; I wasn't sure if patch could deal with them.
>
Historically one of the points of patch was to automatically deal with
headers (mail or Usenet news) in a patch (the original use case was to pipe
a message from mail/news reader to p
On Jun 2, 2015, at 3:00 PM, René J.V. Bertin wrote:
> Does that work when there are other patchfiles too, or at least when there's
> only a single patchfile to be downloaded?
Should work fine with multiple patches; just be sure to avoid overwriting
`patchfiles`. In general, base will try to do
On Tuesday June 02 2015 14:24:25 Lawrence Velázquez wrote:
> patch_sites https://github.com/larryv/llvm/compare
> patchfiles 4c919af...master.diff
Does that work when there are other patchfiles too, or at least when there's
only a single patchfile to be downloaded?
Does one need a ch
On Jun 2, 2015, at 1:58 PM, René J.V. Bertin wrote:
> Is there a way to get a patchfile from github other than in a pre-patch or
> post-fetch step with a statement like
>
> wget "https://github.com/user/repo/compare/hashA...hashB.patch";
You should be able to do something like this.
patch
Is there a way to get a patchfile from github other than in a pre-patch or
post-fetch step with a statement like
wget "https://github.com/user/repo/compare/hashA...hashB.patch";
that gets a full patch without redistributing even a single diff of code?
I've seen examples in the guide how to fetc
