В некоторых системах Unix я привык к a time
команда, который много опций включая способы отформатировать вывод (-f
) и перенаправьте вывод в файл (-o
), посмотрите, например, эту запись человека time
.
Однако на OS X кажется, что у нас есть хромое вниз версия, которая только имеет два (не настолько полезный) опции -lp
. (Я нахожусь на Snow Leopard, если это имеет значение.)
Так, как я могу получить лучшее time
для моей системы?