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 »