Chaque fois que j'essaie d'utiliser des options avec la commande time, telles que format (-f, --FORMAT), j'obtiens l'erreur suivante:
bash: -f: command not found
Comment utiliser les options avec le temps?
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 exempletype time
. Ajouter la-a
possibilité de tout afficher -type -a time