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

Re: multi-digit file descriptors

X-seq: zsh-workers 34516
From: Christian Neukirchen <chneukirchen@xxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: multi-digit file descriptors
Date: Thu, 12 Feb 2015 14:52:49 +0100
In-reply-to: <20150211162637.GA9083__22180.4416658872$1423672129$gmane$org@xvii.vinc17.org> (Vincent Lefevre's message of "Wed, 11 Feb 2015 17:26:37 +0100")
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20150211162637.GA9083__22180.4416658872$1423672129$gmane$org@xvii.vinc17.org>

Vincent Lefevre <vincent@xxxxxxxxxx> writes:

> Contrary to bash and mksh, zsh doesn't support file descriptors with
> multiple digits. Considered the following file "redir".

Funny thing, I just fixed this in a script of mine today (switched
from bash to dash for /bin/sh).

Ended up using /dev/fd/10 instead.

-- 
Christian Neukirchen  <chneukirchen@xxxxxxxxx>  http://chneukirchen.org

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