On Tue, Jan 26, 2021 at 10:19:44PM +0100, Magnus Hagander wrote:
> On Mon, Jan 25, 2021 at 4:40 PM Bruce Momjian wrote:
> >
> > On Sun, Jan 24, 2021 at 02:20:58PM +0100, Magnus Hagander wrote:
> > > While at it, what point is "codelines" adding?
> >
> > That is the script I use to generate code li
On Mon, Jan 25, 2021 at 4:40 PM Bruce Momjian wrote:
>
> On Sun, Jan 24, 2021 at 02:20:58PM +0100, Magnus Hagander wrote:
> > While at it, what point is "codelines" adding?
>
> That is the script I use to generate code line counts when comparing
> releases. I thought it should be in the tree so o
On Tue, Jan 26, 2021 at 6:58 PM Bruce Momjian wrote:
>
> On Tue, Jan 26, 2021 at 05:03:30PM +0100, Magnus Hagander wrote:
> > On Mon, Jan 25, 2021 at 4:38 PM Bruce Momjian wrote:
> > >
> > > On Fri, Jan 22, 2021 at 01:07:36PM -0500, Tom Lane wrote:
> > > > > There's also src/tools/make_mkid which
On Tue, Jan 26, 2021 at 05:03:30PM +0100, Magnus Hagander wrote:
> On Mon, Jan 25, 2021 at 4:38 PM Bruce Momjian wrote:
> >
> > On Fri, Jan 22, 2021 at 01:07:36PM -0500, Tom Lane wrote:
> > > > There's also src/tools/make_mkid which use this mkid tool. +1 for
> > > > removing.
> > > > If anythin
On Mon, Jan 25, 2021 at 4:38 PM Bruce Momjian wrote:
>
> On Fri, Jan 22, 2021 at 01:07:36PM -0500, Tom Lane wrote:
> > > There's also src/tools/make_mkid which use this mkid tool. +1 for
> > > removing.
> > > If anything, it seems better replaced by extended documentation on the
> > > existing
On Sun, Jan 24, 2021 at 02:20:58PM +0100, Magnus Hagander wrote:
> > I found man pages for mkid online --- it's apparently a ctags-like
> > code indexing tool, not something for patches. So maybe Bruce still
> > uses it, or maybe not. But as long as we've also got make_ctags and
> > make_etags in
On Fri, Jan 22, 2021 at 01:07:36PM -0500, Tom Lane wrote:
> > There's also src/tools/make_mkid which use this mkid tool. +1 for removing.
> > If anything, it seems better replaced by extended documentation on the
> > existing
> > wiki article [0] on how to use "git format-patch".
>
> I found man
On Fri, Jan 22, 2021 at 7:07 PM Tom Lane wrote:
>
> Daniel Gustafsson writes:
> >> On 22 Jan 2021, at 12:56, Magnus Hagander wrote:
> >> And maybe even more interestnig -- is there a point to this whole
> >> make_diff directory at all in these days of git? Or should we just
> >> remove it rather
Daniel Gustafsson writes:
>> On 22 Jan 2021, at 12:56, Magnus Hagander wrote:
>> And maybe even more interestnig -- is there a point to this whole
>> make_diff directory at all in these days of git? Or should we just
>> remove it rather than try to fix it?
> There's also src/tools/make_mkid whic
Le ven. 22 janv. 2021 à 20:33, Daniel Gustafsson a écrit :
> > On 22 Jan 2021, at 12:56, Magnus Hagander wrote:
>
> > And maybe even more interestnig -- is there a point to this whole
> > make_diff directory at all in these days of git? Or should we just
> > remove it rather than try to fix it?
> On 22 Jan 2021, at 12:56, Magnus Hagander wrote:
> And maybe even more interestnig -- is there a point to this whole
> make_diff directory at all in these days of git? Or should we just
> remove it rather than try to fix it?
There's also src/tools/make_mkid which use this mkid tool. +1 for re
Hi!
in src/tools/make_diff/ there is a reference:
"If I use mkid (from ftp.postgreSQL.org), I can do:"
There is no such thing on our download site, and I can't find what it
even was at one point.
Was this part of some other package, since removed?
And maybe even more interestnig -- is there a
12 matches
Mail list logo
