2019-06-10 08:46:57 +0000, Austin Group Bug Tracker: [...] > The changes arising from this bug were applied in POSIX.1-2008 TC2, so this > is not the right place to request further changes. (All of the bugs tagged > tc2-2008 should have been closed some time ago to prevent this situation > arising.)
OK, I'll raise a separate bug about that. Or maybe we can address it in the related bug I just raised. > Re: http://austingroupbugs.net/view.php?id=760#c4411 <&0 is a no-op, so it's > unclear whether it counts as > "explicit redirection of standard input". there's the same problem with 3<&0 <&3 3<&- (or < /dev/stdin on those systems that have it). If <&0 may be seen as "not an explicit redirection of standard input", then maybe we need to specify what an "explicit redirection of stdin" is. It may be that bash took a wide interpretation of that in that it doesn't do that implicit /dev/null redirection in $ echo test | bash -c 'cat | cat &' test (the second cat can be seen as having its stdin explicitly redirected). -- Stephane
