Comment obtenir uniquement la valeur en temps réel de la commande « time » ?

Question

Je voudrais créer un script qui ne génère que la valeur en temps réel de la commande time afin que je puisse tracer les résultats. Par exemple les sorties time command

 real    1m0.001s
user    1m0.000s
sys  0m0.001s

Je veux écrire un script qui génère

 60.001 

Comment obtenir uniquement la valeur en temps réel de la commande « time » en secondes ?

Answer 1

Si vous utilisez la commande intégrée Bash time , réglez le TIMEFORMAT variable %R :

 $ TIMEFORMAT=%R
$ time sleep 1
1.022

Answer 2

time peut prendre un --format ou -f , mais vous devez utiliser le chemin complet de la commande time, /usr/bin/time

 /usr/bin/time -f "%e" sleep 3

3.00

Sans le chemin, il utilisera la commande time du shell qui traite simplement tous les arguments comme la commande, vous obtiendrez donc un -f: command not found .

Answer 3

Si vous écrivez \time vous forcez à ne pas utiliser le bash intégré dans le temps. Donc avec \time -f '%e' command vous avez terminé.

Answer 4

Alternativement, utilisez /usr/bin/time ou jetez un œil à la question similaire Utilisation de la commande time dans le script bash .