On Sat, Jun 5, 2021 at 7:17 PM Matheus Tavares Bernardino <matheus.bernardino@xxxxxx> wrote: > > I don't have any strong preference, but if we are leaving the "grep | > wc -l" -> "grep -c" conversion to a followup patch, perhaps the > simplest change focusing on the dash issue would be to quote the > right-hand side of the "local" assignment: > > - local workers=$(grep "child_start\[..*\] git checkout--worker" > "$trace_file" | wc -l) && > + local workers="$(grep "child_start\[..*\] git checkout--worker" > "$trace_file" | wc -l)" && Oops, sorry for the odd line breaking. I forgot that Gmail's web client would break these lines.
