¿Instalar tiempo GNU en OSX?

El tiempo BSD da este tipo de salida

9990

real    0m4.371s
user    0m1.548s
sys 0m2.167s

El tiempo de GNU vuelve a dar este tipo de salida

9990
1.56s user 1.46s system 82% cpu 3.648 total

Brew search gtime no da nada. El tiempo de GNU probablemente esté en alguna biblioteca C, sin embargo, no estoy seguro de cuál. No hay un paquete aparente para ello.

¿Cómo se puede instalar GNU time en OSX?

Usar /usr/bin/time me da los resultados que desea. el tiempo por sí mismo con un comando es una palabra clave de shell.
@fd0 No obtengo tal salida. Mi tiempo también está en usr/bin/time. Mi versión de tiempo es BSD 1993. Debe tener una versión de tiempo diferente.
time datevs /usr/bin/time dateproduce 2 salidas diferentes (como sus ejemplos anteriores). Pero which timeda /usr/bin/time.
brew install gnu-time
@Masi, la página de manual de tiempo indica BSD el 6 de junio de 1993. No tengo idea de por qué sus resultados son diferentes.

Respuestas (2)

Creo que lo que buscas está disponible como...

brew install gnu-time

Que luego puedes llamar como...

tiempo...

No hay manuales instalados por esto en gtime. ¿Cómo se pueden obtener manuales también con este comando? Me gustaría obtener números más significativos en el tiempo.
El paquete original de GNU no parece tener una página man. Sin embargo, tiene un archivo de información que puede encontrar con info time.
Si desea llamarlo como time, instálelo como brew install gnu-time --with-default-names. Su instalación original de bsd-time seguirá existiendo, pero gnu-time se ejecutará de manera predeterminada tal como aparece primero en su RUTA.

GNU time está disponible en homebrew en el paquete gnu-time .

¿Instalar tiempo GNU en OSX?
RespuestasAquíPolítica de privacidad1y, 0v