Am 22.11.22 um 23:24 schrieb Ævar Arnfjörð Bjarmason: > On Mon, Nov 21 2022, Johannes Sixt wrote: >> - grep 'Body' .crlf-message-$branch.txt >.crlf-body-$branch.txt || true && >> + { grep 'Body' .crlf-message-$branch.txt >.crlf-body-$branch.txt || true; } && > > Any reason not to make this: > > - grep 'Body' .crlf-message-$branch.txt >.crlf-body-$branch.txt || true && > + sed -ne '/Body/p' <.crlf-message-$branch.txt >.crlf-body-$branch.txt && > > ? Yes: I have tested my version, but not this one. -- Hannes