Re: mkid reference

Magnus Hagander <magnus@hagander.net>

From: Magnus Hagander <magnus@hagander.net>
To: Bruce Momjian <bruce@momjian.us>
Cc: Tom Lane <tgl@sss.pgh.pa.us>, Daniel Gustafsson <daniel@yesql.se>, PostgreSQL Developers <pgsql-hackers@lists.postgresql.org>
Date: 2021-01-26T21:05:34Z
Lists: pgsql-hackers
On Tue, Jan 26, 2021 at 6:58 PM Bruce Momjian <bruce@momjian.us> 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 <bruce@momjian.us> 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
> > > > > wiki article [0] on how to use "git format-patch".
> > > >
> > > > 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
> > >
> > > Yes, I do still use it, so I thought having a script to generate its
> > > index files might be helpful to someone.
> >
> > Where do you actually get it? The old docs (now removed) suggested
> > getting it off ftp.postgresql.org...
>
> Not sure why it was on our ftp site, since it is a GNU download:
>
>         https://www.gnu.org/software/idutils/

Ah, good. Then at least we now have it in the list archives for
reference if somebody else searches for it :)

And no, it wasn't actually on our ftp server. But it might have been
at some point far far in the past...

-- 
 Magnus Hagander
 Me: https://www.hagander.net/
 Work: https://www.redpill-linpro.com/



Commits

  1. Remove make_diff set of tools