Réponses:
Vous invoquez la version intégrée de bash time
, qui a un comportement et des options légèrement différents - décrits dans le manuel de bash ainsi que help time
.
Utilisez command time ...
pour contourner le intégré et exécuter la commande externe; ou exécutez /usr/bin/time ...
directement.
type
montrera ce que vous exécuterez - par exemple type time
. Ajouter la -a
possibilité de tout afficher -type -a time