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

Re: PATCH: add user control of hosts to complete



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



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