I don't believe there is a good way of preserving quotes (') in $*. I
ran into this while trying to:
% window winwatch -e '^(winwatch|stats|faces)' # will not work
% window winwatch -e '''^(winwatch|stats|faces)''' # works
I think this comes down to how quotes are handled in $*:
% tail -1 /rc/bin/window # the relevant line
if not echo new -cd `{pwd} $* >> `{getwctl}
having to stack quotes manually makes interactions like cut-paste
awkward/unusable.
------------------------------------------
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Te16808448e498abd-M709bd1a5852081af93be0f68
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
