Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: PATCH: add user control of hosts to complete

X-seq: zsh-workers 7898
From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
To: zsh workers mailing list <zsh-workers@xxxxxxxxxxxxxx>
Subject: Re: PATCH: add user control of hosts to complete
Date: Fri, 17 Sep 1999 09:51:18 +0200
In-reply-to: "Adam Spiers"'s message of "Fri, 17 Sep 1999 03:46:27 DFT." <19990917034627.B23925@xxxxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm

Adam Spiers wrote:
>  : ${(A)hosts:=${(s: :)${(ps:\t:)${${(f)"$(</etc/hosts)"}%%\#*}##[:blank:]#[^
> [:blank:]]#}}}
>  
> +# Let the user add her own hosts in if she wants
> +hosts=( $hostnames $hosts )

As Sven already pointed out, $hosts is there for the user to set. It sets
its own defaults as a last gasp if it's empty.  If you do have your own
hosts, the contents of /etc/hosts may be simply noise. I don't think we
need a separate variable.

-- 
Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy

Follow-Ups:
- Re: PATCH: add user control of hosts to complete
  - From: Adam Spiers

References:
- PATCH: add user control of hosts to complete
  - From: Adam Spiers

Messages sorted by: Reverse Date, Date, Thread, Author