Mathieu Lirzin <m...@gnu.org> skribis: > Mathieu Lirzin <m...@gnu.org> writes: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Indeed, I’ve thought about it, but in fact most or all of the “useful >>> noise” happens via ‘current-output-port’ and ‘current-error-port’, so >>> we’re not losing much. >>> >>> If we want a 100% solution that works with child processes (like >>> ‘cpio’), we should redirect the underlying file descriptors instead of >>> the ports: >> >> I will look into this. I think making it robust and reliable for >> general usage is important since it is intended to be used outside of >> Guix too. So I prefer having a 100% solution. > > Using ‘redirect-port’ has worked perfectly. Thanks. > > Pushed in a9edb211e733b8b34e67ec3b4450567e9376986f.
Great, thanks! Ludo’.
