Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: PATCH: _man copes with : delimited manpath
- X-seq: zsh-workers 8067
- From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
- To: zsh workers mailing list <zsh-workers@xxxxxxxxxxxxxx>
- Subject: Re: PATCH: _man copes with : delimited manpath
- Date: Mon, 27 Sep 1999 15:44:57 +0200
- In-reply-to: "Adam Spiers"'s message of "Mon, 27 Sep 1999 14:17:24 DFT." <19990927141724.B10336@xxxxxxxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Adam Spiers wrote:
> On my system, `manpath' generates colon-delimited paths, rather than
> space-delimited ones. This patch solves that problem. It also fixes
> what I think is a typo, but someone should check this.
You'll need to add this. mp doesn't get split into words the first time
unless you use an array.
--- Completion/User/_man~ Mon Sep 27 15:41:48 1999
+++ Completion/User/_man Mon Sep 27 15:42:53 1999
@@ -15,7 +15,7 @@
fi
if (( ! $#manpath )); then
- local mp=$(manpath 2>/dev/null)
+ local mp=($(manpath 2>/dev/null))
[[ "$mp" == *:* ]] && mp=( ${(s.:.)mp} )
manpath=( $mp )
fi
--
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx> Tel: +39 050 844536
WWW: http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy
Messages sorted by:
Reverse Date,
Date,
Thread,
Author