[DebianGIS-dev] r1804 - packages/grass/branches/6.4/debian/patches
Francesco P. Lovergine
frankie at debian.org
Thu Dec 11 14:33:58 UTC 2008
On Thu, Dec 04, 2008 at 01:28:51PM +0000, hamish-guest at alioth.debian.org wrote:
> +## DP: As per debian wishes, choose the pager based on what 'pager' is
> +## DP: set to rather than the default of 'more'.
> +## DP: Problem with this patch: the default pager is usually 'less', which
> +## DP: is rather inappropriate for use with g.list where output is usally
> +## DP: less than 25 lines and it is useful to have the text remain on the
> +## DP: terminal after the pager is finished. IMO (HB) this is a diservice
> +## DP: to the user, who would be better served keeping the default as
> +## DP: 'more', or if that is unacceptable to debian, then use 'cat' and
> +## DP: have no pager turned on by default.
> +## DP: Note this in README.Debian??
Well, no. The default pager is what the user chooses among more, less, most, page and what else.
Also, it can be easily overriden at grass level by setting the appropriate env var
instead of the default alternative.
--
Francesco P. Lovergine
More information about the Pkg-grass-devel
mailing list