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

Re: multi-digit file descriptors



On 2015-02-11 17:46:05 +0000, Peter Stephenson wrote:
> You can grab use of one yourself with the recommended syntax (we
> actually agreed this with David Korn):
> 
>   local foo
>   exec {foo}>blah
>   echo bleugh >&$foo

However this is not portable (not supported by dash and mksh).

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)



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