Respuestas:
Está invocando la versión integrada de bash time
, que tiene un comportamiento y opciones ligeramente diferentes, descritos en el manual de bash y también en help time
.
Use command time ...
para omitir el incorporado y ejecutar el comando externo; o correr /usr/bin/time ...
directamente.
type
mostrará qué ejecutará, por ejemplo type time
. Agregue la -a
opción para mostrar todo -type -a time