[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 'set +o' or '. /dev/fd/0' or?...
From: |
Paolo Bonzini |
Subject: |
Re: 'set +o' or '. /dev/fd/0' or?... |
Date: |
Mon, 13 Jul 2009 13:32:15 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1b3pre) Gecko/20090513 Fedora/3.0-2.3.beta2.fc11 Lightning/1.0pre Thunderbird/3.0b2 |
On 07/13/2009 01:26 PM, Eric Blake wrote:
{ echo "set -$-"; COMMAND; } | sh
This does it, yes.
(You've been using too many fifos for the parallel autotest :-).
Paolo