Re: mkid reference
Bruce Momjian <bruce@momjian.us>
From: Bruce Momjian <bruce@momjian.us>
To: Magnus Hagander <magnus@hagander.net>
Cc: Tom Lane <tgl@sss.pgh.pa.us>, Daniel Gustafsson <daniel@yesql.se>, PostgreSQL Developers <pgsql-hackers@lists.postgresql.org>
Date: 2021-01-26T17:58:27Z
Lists: pgsql-hackers
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/ -- Bruce Momjian <bruce@momjian.us> https://momjian.us EDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
Commits
-
Remove make_diff set of tools
- 8a337b0ed21c 14.0 landed