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

Re: Fun zsh trick for today

X-seq: zsh-users 3156
From: Clint Adams <schizo@xxxxxxxxxx>
To: Peter Stephenson <pws@xxxxxxxxxxxxxxxxxxxxxxxxx>
Subject: Re: Fun zsh trick for today
Date: Wed, 14 Jun 2000 10:27:41 -0400
Cc: Zsh users list <zsh-users@xxxxxxxxxxxxxx>
In-reply-to: <0FW500709EALIK@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>; from pws@xxxxxxxxxxxxxxxxxxxxxxxxx on Wed, Jun 14, 2000 at 03:15:58PM +0100
Mailing-list: contact zsh-users-help@xxxxxxxxxxxxxx; run by ezmlm
References: <20000614095734.E27844@xxxxxxxxxxx> <0FW500709EALIK@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>

> hosts=(${${${${(f)"$(<$HOME/.ssh/known_hosts)"}:#[^0-9]*}%%\ *}%%,*})

This has the opposite effect as desired (i.e., it returns an array
containing only those entries beginning with digits).  This does what I
want (except for omitting things like 3stop.com):

hosts=(${${${${(f)"$(<$HOME/.ssh/known_hosts)"}:#[0-9]*}%%\ *}%%,*})

References:
- Re: Fun zsh trick for today
  - From: Clint Adams
- Re: Fun zsh trick for today
  - From: Peter Stephenson

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