Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
priority problem of ":|" and ":*"
- X-seq: zsh-users 17495
- From: Han Pingtian <hanpt@xxxxxxxxxxxxxxxxxx>
- To: zsh-user <zsh-users@xxxxxxx>
- Subject: priority problem of ":|" and ":*"
- Date: Mon, 24 Dec 2012 18:52:41 +0800
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
hi,
I believe the new ":|" and ":*" should be in Rule 7 Modifiers of
paramter expansion, so this looks like a problem in priority:
% a1=(a b c);a2=('a b c');print "${a1:|a2}"
% a1=(a b c);a2=('a b c');print "${#a1:|a2}"
3
in this, the priority should be "5 Double-quoted joining" first, then "7
modifiers", then "9 length". So 'print "${#a1:|a2}"' should output 0 I
think. And the ":*" has the same problem.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author