Skip to content

GNU time

C'est possible d'ajouter l'appli GNU time sur les serveurs ? A priori, un simple apt-get install -y time devrait faire l'affaire.

Edited by CHAMONT David