/usr/bin/time --format de sortie le temps écoulé en millisecondes

- Je utiliser le répertoire /usr/bin/programme à temps pour mesurer le temps d'exécution d'une commande.
avec le paramètre de format je peux le format de sortie.
par exemple,

/usr/bin/time -f "%e" ls

est-il un moyen de sortie d'une plus grande précision des secondes? ou juste sortie millisecondes, pas secondes?

Dans le manuel de /usr/bin/heure il est dit quelque chose à propos de secondes, mais peut-être il ya un moyen pour que quelqu'un peut m'aider...
merci!

MODIFIER:
Je sais à propos de la commande bash "temps" qui utilise le format de la variable d'environnement "TIMEFORMAT". désolé, mais je ne veux pas changer cela env-var... semble risqué pour moi, la solution devrait être quelque chose qui ne change pas le système en cours d'exécution à tous 🙂

  • La page de manuel ne dit rien à ce sujet. Donc je suppose qu'il n'est pas possible à l'aide d'une version non modifiée de temps. Il devrait être possible de fabriquer un patch pour le format de sortie, mais je ne sais pas si il est possible d'obtenir une précision plus élevée.
  • Il suffit de pointer sur les futurs lecteurs que la TIMEFORMAT variable n'est utilisée pour le contrôle de la sortie de la builtin time de commande. Il n'y a pas de risque associés à changer.
  • Se transforme également en un shell n'affectera que shell.
InformationsquelleAutor Preexo | 2013-06-06