¿Cuál es el binario que dará el resultado exacto para Linux's time
¿banderas de comando?
alias tcmd='/usr/bin/time \-f\ "CPU: %Us\tReal: %es\tRAM: %MKB"'
Actual time
en Mac OSX para el comando anterior es:
/usr/bin/time: illegal option -- f
usage: time [-lp] command.