From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15952 invoked from network); 17 Sep 1999 08:26:32 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 17 Sep 1999 08:26:32 -0000 Received: (qmail 7559 invoked by alias); 17 Sep 1999 08:26:20 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 7898 Received: (qmail 7552 invoked from network); 17 Sep 1999 08:26:20 -0000 Message-Id: <9909170751.AA13759@ibmth.df.unipi.it> To: zsh workers mailing list Subject: Re: PATCH: add user control of hosts to complete In-Reply-To: "Adam Spiers"'s message of "Fri, 17 Sep 1999 03:46:27 DFT." <19990917034627.B23925@thelonious.new.ox.ac.uk> Date: Fri, 17 Sep 1999 09:51:18 +0200 From: Peter Stephenson Adam Spiers wrote: > : ${(A)hosts:=${(s: :)${(ps:\t:)${${(f)"$( [: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 Tel: +39 050 844536 WWW: http://www.ifh.de/~pws/ Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy