Received: from malur.postgresql.org ([217.196.149.56])
	by arkaria.postgresql.org with esmtps
 (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1nxW6x-0004V4-BD
	for pgsql-hackers@arkaria.postgresql.org; Sat, 04 Jun 2022 15:54:47 +0000
Received: from localhost ([127.0.0.1] helo=malur.postgresql.org)
	by malur.postgresql.org with esmtp (Exim 4.92)
	(envelope-from <pgsql-hackers-owner+archive@lists.postgresql.org>)
	id 1nxW6w-0001AX-7Y
	for pgsql-hackers@arkaria.postgresql.org; Sat, 04 Jun 2022 15:54:46 +0000
Received: from makus.postgresql.org ([2001:4800:3e1:1::229])
	by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1nxW6v-00017E-Tx
	for pgsql-hackers@lists.postgresql.org; Sat, 04 Jun 2022 15:54:45 +0000
Received: from sss.pgh.pa.us ([66.207.139.130])
	by makus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <tgl@sss.pgh.pa.us>)
	id 1nxW6t-0003S7-Uk
	for pgsql-hackers@lists.postgresql.org; Sat, 04 Jun 2022 15:54:44 +0000
Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1])
	by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 254Fsg6Q566566;
	Sat, 4 Jun 2022 11:54:42 -0400
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Robert Haas <robertmhaas@gmail.com>
cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Subject: Re: Count output lines automatically in psql/help.c
In-reply-to: 
 <CA+TgmoYzRyZNHbg7bGs9JUiXvGd3v1b1+qTDtqgRE4o0EnjPjg@mail.gmail.com>
References: <365160.1654289490@sss.pgh.pa.us>
 <CA+TgmoYzRyZNHbg7bGs9JUiXvGd3v1b1+qTDtqgRE4o0EnjPjg@mail.gmail.com>
Comments: In-reply-to Robert Haas <robertmhaas@gmail.com>
	message dated "Sat, 04 Jun 2022 08:55:25 -0400"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <566564.1654358082.1@sss.pgh.pa.us>
Date: Sat, 04 Jun 2022 11:54:42 -0400
Message-ID: <566565.1654358082@sss.pgh.pa.us>
List-Id: <pgsql-hackers.lists.postgresql.org>
List-Help: <https://lists.postgresql.org/manage/>
List-Subscribe: <https://lists.postgresql.org/manage/>
List-Post: <mailto:pgsql-hackers@lists.postgresql.org>
List-Owner: <mailto:pgsql-hackers-owner@lists.postgresql.org>
List-Archive: <https://www.postgresql.org/list/pgsql-hackers>
Archived-At: 
 <https://www.postgresql.org/message-id/566565.1654358082%40sss.pgh.pa.us>
Precedence: bulk

Robert Haas <robertmhaas@gmail.com> writes:
> On Fri, Jun 3, 2022 at 4:51 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Thoughts?

> +1 from me. Wish we'd done this years ago.

Pushed, thanks for looking at it.

			regards, tom lane