time (Unix)
(Redirigé depuis GNU Time)
time est une commande Unix. Elle est utilisée pour déterminer le temps d'exécution d'une certaine commande.
Utilisation[modifier | modifier le code]
Pour utiliser cette commande, il faut juste la faire précéder à une autre commande, comme ceci :
time ls
Quand la commande est terminée, time affiche combien de temps elle a mis pour s'exécuter en affichant le temps CPU, le temps CPU système et le temps réel. Le format de sortie dépend de la version de la commande, certaines donnent d'autres informations en plus.
GNU Time[modifier | modifier le code]
Distribuée dans la plupart des systèmes GNU/Linux[1], l’implémentation GNU affiche les ressources système utilisées par un programme ; le résultat peut être personnalisé ou sauvegardé dans un fichier[2].
Notes et références[modifier | modifier le code]
- (en) « time : Linux User's Manual », sur man7.org,
- (en) « GNU Time », sur directory.fsf.org, FSF,
