@rpaquay Renaud, I once mentioned this when we talked. This adds names to the streams. The names are a bit unrefined, but they proved helpful to me while debugging I/O redirection. It's a lot of cruft, on the other hand, so I'm not sure this code is worth checking in. Maybe just keep it around in a branch?
Hmm... This is indeed a lot of cruft. I would leave either as closed PR or in a separate branch so that we have a trace for this in case it would be useful again in the future.
@rpaquay Renaud, I once mentioned this when we talked. This adds names to the streams. The names are a bit unrefined, but they proved helpful to me while debugging I/O redirection. It's a lot of cruft, on the other hand, so I'm not sure this code is worth checking in. Maybe just keep it around in a branch?