On Fri, 19 Sep 2025 14:57:48 -0400 Chet Ramey wrote: > > > You mentioned times, but times does not accept --help. > > It would have only taken a second to test this. > $ ../bash-5.3-patched/bash -c 'times --help' > times: times > Display process times.
Right. My bad! It turns out, on the box I was sitting, for some reason, times was a function :-) Sorry. So yeah, times return code is not fixed either.
