Tom Lane wrote:
> With Peter's latest commit, there aren't any actual scripts left in
> src/bin/scripts; only C programs. Does that bother anyone? I was
> wondering about renaming to something like src/bin/misc. (Not that
> that name seems very compelling either...)
We could call it tools or admintools.
--
Bruce Momjian | http://candle.pha.pa.us
pgman(at)candle(dot)pha(dot)pa(dot)us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073