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.
typemontrera ce que vous exécuterez - par exemple type time. Ajouter la -apossibilité de tout afficher -type -a time