[darcs-users] Better pager management

[David Roundy]

On Mon, May 12, 2008 at 07:38:57PM +0300, Pekka Pessi wrote:
> There was problems running pager from darcs interactive mode: if
> the page did not fit into pty buffer, write failed with EAGAIN and
> pager exited with an error code (and Darcs promptly started
> another pager...)
> 
> With the third patch darcs behaves like man with respect to PAGER
> env variables. When running darcs in dumb terminal (like Emacs
> shell buffer) it is much better not to use any pager at all.

Looks good to me.  I don't really know much about the nonblock issues, but
I believe you, and don't see any problems here.  Applied.

David

> Mon May 12 16:41:45 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * Added withoutNonBlock to Exec.
>   
>   Now pipeDoc runs pager process without non-blocking IO mode.
> 
> Mon May 12 18:41:26 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * Do pipeDocToPager withoutNonBlock.
>   
>   Pagers tend to fail if terminal is in non-blocking mode.
> 
> Mon May 12 18:43:47 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * pipeDocToPager runs no pager if pager is "".
>   
>   Darcs does not run pager if DARCS_PAGER environment variable has empty value
>   (or PAGER, if DARCS_PAGER is not set).
>   
>   This is like man uses MANPAGER or PAGER environment variables.
> 
> 

> Mon May 12 16:41:45 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * Added withoutNonBlock to Exec.
>   
>   Now pipeDoc runs pager process without non-blocking IO mode.
> 
> Mon May 12 18:41:26 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * Do pipeDocToPager withoutNonBlock.
>   
>   Pagers tend to fail if terminal is in non-blocking mode.
> 
> Mon May 12 18:43:47 EEST 2008  Pekka Pessi <pekka.pessi at nokia.com>
>   * pipeDocToPager runs no pager if pager is "".
>   
>   Darcs does not run pager if DARCS_PAGER environment variable has empty value
>   (or PAGER, if DARCS_PAGER is not set).
>   
>   This is like man uses MANPAGER or PAGER environment variables.