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

Re: PATCH: Re: zsh-3.1.5-pws-11: signames2.awk



> +/^XXNAMES XXSIG[A-Z][A-Z0-9]*[ \t]+[1-9][0-9]*/ {

I've actually set this to more like what it looks like in signames1.awk,
which has [\t ][\t ]*.  That should minimise the demarcation disputes.

-- 
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