2017-09-13 23:36 GMT+02:00 Thomas Munro :
> On Wed, Sep 6, 2017 at 4:12 AM, Pavel Stehule
> wrote:
> > 2017-09-05 18:06 GMT+02:00 Tom Lane :
> >> Pushed, with some fooling with the documentation (notably,
> >>
On Wed, Sep 6, 2017 at 4:12 AM, Pavel Stehule wrote:
> 2017-09-05 18:06 GMT+02:00 Tom Lane :
>> Pushed, with some fooling with the documentation (notably,
>> re-alphabetizing relevant lists).
>>
> Thank you very much
I've started setting
2017-09-05 18:06 GMT+02:00 Tom Lane :
> Pavel Stehule writes:
> > [ psql-psql-pager-env-2.patch ]
>
> Pushed, with some fooling with the documentation (notably,
> re-alphabetizing relevant lists).
>
> Grepping turned up an additional place that's
Pavel Stehule writes:
> [ psql-psql-pager-env-2.patch ]
Pushed, with some fooling with the documentation (notably,
re-alphabetizing relevant lists).
Grepping turned up an additional place that's examining the PAGER
environment variable, namely PQprint() in
2017-08-16 12:47 GMT+02:00 Thomas Munro :
> On Wed, Aug 16, 2017 at 9:56 PM, Pavel Stehule
> wrote:
> > 2017-08-16 6:58 GMT+02:00 Thomas Munro :
> >> Stray blank line.
> >
> > I am not sure if I see last issue
On Wed, Aug 16, 2017 at 9:56 PM, Pavel Stehule wrote:
> 2017-08-16 6:58 GMT+02:00 Thomas Munro :
>> Stray blank line.
>
> I am not sure if I see last issue well.
I meant this:
+
... but it doesn't really matter.
> Sending
Hi
2017-08-16 6:58 GMT+02:00 Thomas Munro :
> On Thu, Jul 27, 2017 at 4:19 AM, Pavel Stehule
> wrote:
> > here is a patch - it is trivial
>
> The feature makes sense, follows an existing example (PSQL_EDITOR),
> and works nicely.
>
>
On Thu, Jul 27, 2017 at 4:19 AM, Pavel Stehule wrote:
> here is a patch - it is trivial
The feature makes sense, follows an existing example (PSQL_EDITOR),
and works nicely.
is platform-dependent. Use of the pager can be disabled by setting
PAGER to
Hi
2017-07-26 13:15 GMT+02:00 Dagfinn Ilmari Mannsåker :
> Pavel Stehule writes:
>
> > Hi
> >
> > I wrote a special pager for psql. Surely, this pager is not good for
> paging
> > of man pages. So is not good to set it as global pager. We can
Pavel Stehule writes:
> Hi
>
> I wrote a special pager for psql. Surely, this pager is not good for paging
> of man pages. So is not good to set it as global pager. We can introduce
> new env variable PSQL_PAGER for this purpose. It can work similar like
> PSQL_EDITOR
On Wed, Jul 26, 2017 at 7:11 AM, Pavel Stehule wrote:
> Hi
>
> I wrote a special pager for psql. Surely, this pager is not good for paging
> of man pages. So is not good to set it as global pager. We can introduce new
> env variable PSQL_PAGER for this purpose. It can
Hi
I wrote a special pager for psql. Surely, this pager is not good for paging
of man pages. So is not good to set it as global pager. We can introduce
new env variable PSQL_PAGER for this purpose. It can work similar like
PSQL_EDITOR variable.
Notes, comments?
Regards
Pavel
12 matches
Mail list logo