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