https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126153
--- Comment #6 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Sam James from comment #5) > As I recommended before, it is much easier to do this with a full shell > script rather than with a pipeline. My bash knowledge is so limited that I don't understand what you are saying. Stackoverflow & AI wasn't much help either, which is pretty unusual. I think someone with more bash knowledge than me will be able to implement what you describe.
