Il tempo BSD dà questo tipo di output
9990
real 0m4.371s
user 0m1.548s
sys 0m2.167s
L'ora GNU restituisce quindi questo tipo di output
9990
1.56s user 1.46s system 82% cpu 3.648 total
Brew gtime di ricerca non dà nulla. Il tempo di GNU è probabilmente in una libreria C, tuttavia, non sono sicuro di quale. Non esiste un pacchetto apparente per questo.
Come si può installare l'ora GNU in OSX?