[...]
> >
> > + if [[ "${verbose}" -eq 0 ]]; then
> > + exec 1> /dev/null
> > + exec 2>&1
>
> can't this be done with one exec, though:
>
> exec 2>&1 1>/dev/null
Yep, fixed.
>
> ?
>
> It also actually would be nice to not completely discard the output,
> but rather redirect it to a temporary file and emit it on error with
> trap. test_progs behavior is no extra output on success, but emit it
> fully at the end if test is failing. Would be nice to preserve this
> for shell script as well, as otherwise debugging this in CI would be
> nearly impossible.
>
Yep, this is better for debuggability. I will update and send another version.
