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

Re: [[ and [



On 03/04/2012 08:24 AM, Bart Schaefer wrote:

May be all [ ] should be changed to [[ ]] in zsh distribution if it's
more native way?

% grep -R 'if \[[^\[]' /usr/share/zsh/* | wc -l
35


-- 
sergio.



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