Gnu Time

commande qui affiche les ressources système utilisées par un programme ; le résultat peut être personnalisé ou sauvegardé dans un fichier.

Propriétés

Catégories

Mots liés