Re: run-help: Support for svn and git

[Clint Adams <clint@zsh.org>]

On Sat, Jan 05, 2008 at 10:05:18AM -0800, Bart Schaefer wrote:
> Not having a Debian install available anywhere, I'm not sure what
> /usr/bin/pager does.  Is there a reason you can't simply assign to
> $PAGER in /etc/z* as well?  With appropriate checks that it isn't
> already set to something else, of course.

/usr/bin/pager is just a symlink to the system's preferred pager.
Debian policy dictates that software wanting to use a pager should
first check $PAGER, running /usr/bin/pager if that's unset.

> Then, how about this?  It's not really a problem to have a default
> value of HELPDIR in the function, since we check that it exists.  I
> suppose if someone wanted to explicitly turn OFF the use of HELPDIR,
> this would be a problem ... is that worth worrying about?

This is fine by me.

> Also, would /usr/share/zsh/$ZSH_VERSION/help be more appropriate?

I'd still have to sed it, but it probably makes more sense for
people installing from source.