Zsh Mailing List Archive
Messages sorted by:
Re: new completion modifications
- X-seq: zsh-workers 13787
- From: Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxx
- Subject: Re: new completion modifications
- Date: Tue, 27 Mar 2001 13:06:16 +0200 (MET DST)
- In-reply-to: Sven Wischnowsky's message of Mon, 26 Mar 2001 10:49:35 +0200 (MET DST)
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
Bart Schaefer wrote:
> On Mar 23, 2:16pm, Peter Stephenson wrote:
> } Subject: Re: new completion modifications
> } Sven wrote:
> } > This seems reasonable. Question to everyone (and -workers in
> } > particular): should we add a `urls' style, comparable to `hosts' and
> } > such, that just gives a bunch of strings to complete as urls?
> } > Probably taking precedence over the other things (different from
> } > `hosts' and friends).
> } Something like this.
> That, and/or a flat file of URLs rather than a directory structure. Hmm,
> we could have the following styles for the `urls' tag:
> file -- flat file containing URLs to complete (new?)
> local -- prefixes for completing local URLs (exists now)
> path -- location of directory tree mapping URLs (exists)
> urls -- array of URLs to complete (new?)
> I'm not sure about the names "file" and "path", but ...
After thinking again... do we really need two new style? Or any?
path -- unchanged
urls -- if it has only one value and that is the name of a file,
take the urls from that file
path -- if the value names a directory, use as we use it now, if it
names a normal file, take the urls from it
urls -- just a list of urls
path -- removed
urls -- if it has only one value
if that is the name of a directory: like path now
elif it is the name of a normal file: list of urls from the file
otherwise the values are the urls
In any case local is unchanged.
After all, how often would one want to use more than one setup?
Sven Wischnowsky wischnow@xxxxxxxxxxxxxxxxxxxxxxx
Messages sorted by: