Re: [ptxdist] [PATCH v6 3/5] scripts: add helper to inject files into a source directory

2024-05-02 Thread Michael Olbrich
On Fri, Apr 19, 2024 at 11:48:51AM +0200, Alexander Dahl wrote: > sorry for digging up this old discussion, but I kind of want to use this > approach and … see below. > > Am Samstag, 29. Januar 2022, 08:03:28 CEST schrieb Michael Riesch: > > Some packages may require certain files that are mainta

Re: [ptxdist] [PATCH v6 3/5] scripts: add helper to inject files into a source directory

2024-04-23 Thread Michael Riesch
Hi Alex, On 4/23/24 15:52, Alexander Dahl wrote: > Hello Michael, > > I know this has been applied already, but while working on the extension I > asked about last week, I stumbled over some things. See below. Great to hear you find this extension useful. I must admit though that I don't recal

Re: [ptxdist] [PATCH v6 3/5] scripts: add helper to inject files into a source directory

2024-04-23 Thread Alexander Dahl
Hello Michael, I know this has been applied already, but while working on the extension I asked about last week, I stumbled over some things. See below. Am Samstag, 29. Januar 2022, 08:03:28 CEST schrieb Michael Riesch: > Some packages may require certain files that are maintained > or generate

Re: [ptxdist] [PATCH v6 3/5] scripts: add helper to inject files into a source directory

2024-04-19 Thread Alexander Dahl
Hei hei, sorry for digging up this old discussion, but I kind of want to use this approach and … see below. Am Samstag, 29. Januar 2022, 08:03:28 CEST schrieb Michael Riesch: > Some packages may require certain files that are maintained > or generated outside of their source repository. For exam