gtime

Cette commande est un alias de time.

• Voir la documentation de la commande originale :

tldr time