Quel est le binaire qui donnera le résultat exact pour Linux ? time des drapeaux de commande ?
alias tcmd='/usr/bin/time \-f\ "CPU: %Us\tReal: %es\tRAM: %MKB"'Actuel time dans Mac OSX pour la commande ci-dessus est :
/usr/bin/time: illegal option -- f
usage: time [-lp] command.
