Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: _man only uses $manpath
- X-seq: zsh-workers 7913
- From: Oliver Kiddle <opk@xxxxxxxxxxxxx>
- To: Adam Spiers <adam@xxxxxxxxxx>
- Subject: Re: _man only uses $manpath
- Date: Fri, 17 Sep 1999 13:43:38 +0100
- Cc: zsh-workers@xxxxxxxxxxxxxx
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
- References: <199909170945.LAA02310@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> <19990917122225.B27658@xxxxxxxxxxxxxxxxxxxxxxx>
Adam Spiers wrote:
>
> No, the GNU man displays all the man paths it will use if invoked as
> `man -w':
It seems that GNU man itself varies. The GNU man on the debian linux
system I have access to at work prints:
What manual page do you want?
in response to -w with no argument and has no -W option. Note that it
does return an exit code of 1 though so we can still use man -w if we
check the exit code.
> In the GNU case, you can just grep /etc/man.config for `^MANPATH '.
That must be specific to your linux distribution as opposed to GNU man.
> I'd rather keep guessing as a last resort. Maybe try man -w and check
> the exit code, then
> if [[ -r /etc/man.config ]]; then
That's probably the best approach as long as we don't find a system that
breaks it.
Oliver Kiddle
Messages sorted by:
Reverse Date,
Date,
Thread,
Author