Bug#981171: [PATCH 06/13] Improve pager section by pointing to more

2021-01-29 Thread Bastien ROUCARIES
Le ven. 29 janv. 2021 à 12:28, Michael Kerrisk (man-pages) a écrit : > > On Fri, 29 Jan 2021 at 12:00, Bastien Roucariès > wrote: > > > > Le jeudi 28 janvier 2021, 09:31:00 UTC Michael Kerrisk (man-pages) a écrit : > > > On 1/27/21 4:48 PM, roucaries.bast...@gmail.com wrote: > > > > From:

Bug#981171: [PATCH 06/13] Improve pager section by pointing to more

2021-01-29 Thread Michael Kerrisk (man-pages)
On Fri, 29 Jan 2021 at 12:00, Bastien Roucariès wrote: > > Le jeudi 28 janvier 2021, 09:31:00 UTC Michael Kerrisk (man-pages) a écrit : > > On 1/27/21 4:48 PM, roucaries.bast...@gmail.com wrote: > > > From: Bastien Roucariès > > > > > > More is the default pager in a lot of system mention it > >

Bug#981171: [PATCH 06/13] Improve pager section by pointing to more

2021-01-29 Thread Bastien Roucariès
Le jeudi 28 janvier 2021, 09:31:00 UTC Michael Kerrisk (man-pages) a écrit : > On 1/27/21 4:48 PM, roucaries.bast...@gmail.com wrote: > > From: Bastien Roucariès > > > > More is the default pager in a lot of system mention it > > Really "more" and not "less"? Yes, debian distribution have been

Bug#981171: [PATCH 06/13] Improve pager section by pointing to more

2021-01-28 Thread Michael Kerrisk (man-pages)
On 1/27/21 4:48 PM, roucaries.bast...@gmail.com wrote: > From: Bastien Roucariès > > More is the default pager in a lot of system mention it Really "more" and not "less"? On my system, 'git commit' and 'man' use less(1) when PAGER is not set. Thanks, Michael > --- > man7/environ.7 | 8

Bug#981171: [PATCH 06/13] Improve pager section by pointing to more

2021-01-27 Thread roucaries . bastien
From: Bastien Roucariès More is the default pager in a lot of system mention it --- man7/environ.7 | 8 +++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/man7/environ.7 b/man7/environ.7 index 81932d894..981038ea1 100644 --- a/man7/environ.7 +++ b/man7/environ.7 @@ -132,7