On Thu, Dec 04, 2008 at 01:28:51PM +0000, [EMAIL PROTECTED] 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

_______________________________________________
Pkg-grass-devel mailing list
Pkg-grass-devel@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-grass-devel

Reply via email to