Re: Should we automatically run duplicate_oids?

On Mon, 2013-07-08 at 19:38 -0700, Peter Geoghegan wrote:
> On Mon, Jul 8, 2013 at 6:33 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > This would require a rather higher standard of portability than
> > duplicate_oids has heretofore been held to.
> 
> Ah, yes. I suppose that making this happen would necessitate rewriting
> the script in highly portable Perl. Unfortunately, I'm not a likely
> candidate for that task.

I don't think rewriting it in Perl is necessary or even desirable.  I
don't see anything particularly unportable in that script as it is.
(Hmm, perhaps egrep should be replaced by grep.)