/usr/bin/time not installed?

bonjour,

j'ai besoin des fonctions avancées de /usr/bin/time pour un benchmark, mais celui-ci n'est pas installé. Serait-il possible de l'installer ?

merci,

PS : pour le moment, j'utilise un exécutable GNU time que j'ai compilé moi-même (https://directory.fsf.org/wiki/Time).

@julien a pris ta demande en charge

Bonjour,

/usr/bin/time est installé, merci @julien

A noter que pour faire ce genre d'analyse, on a aussi récemment installé seff:

1 J'aime