Щоб встановити час GNU в OSX?

6

Час BSD дає такий вид виводу 

9990

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

Час GNU знову дає цей вид виводу 

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

Час пошуку глюків нічого не дає. GNU час, ймовірно, в деякій бібліотеці C, однак, я не впевнений, що. Для нього немає явного пакету.

Як можна встановити час GNU в OSX?

macos  terminal  homebrew  time 
— Léo Léopold Hertz 준영
джерело
1
Використання / usr / bin / time дає мені потрібні результати. Час саме по собі з командою - це ключове слово оболонки.
— fd0
1
@ fd0 Я не отримую такого виводу. Мій час теж usr/bin/time. Моя версія часу BSD 1993. Ви повинні мати іншу версію часу.
— Léo Léopold Hertz 준영
time date проти /usr/bin/time date виробляють 2 різних виходу (наприклад, ваші приклади вище). Але which time дає / usr / bin / time.
— CousinCocaine
заварюють установку gnu-часу
— CousinCocaine
@ Masi час людина сторінка заявляє BSD 6 червня 1993 року. Я поняття не маю, чому ваші результати різні.
— fd0

Відповіді:

12

Я думаю, що те, що ви шукаєте, доступне як ...

заварюють установку gnu-часу

Потім ви можете викликати ...

gtime ...

— Alistair McMillan
джерело
1
Ви просто побили мене до нього. gist.github.com/gregelin/9529716
— CousinCocaine
Немає вказівок, встановлених цим gtime. Як ви також можете отримати інструкції з цією командою? Я хотів би отримати більш значні цифри в термінах.
— Léo Léopold Hertz 준영
2
Схоже, що оригінальний пакет з GNU не має сторінки man. Однак у нього є файл інформації, який ви можете знайти info time.
— Alistair McMillan
1
— Dennis
1
Якщо ви хочете викликати його як time, потім встановіть його як brew install gnu-time --with-default-names. Ваша оригінальна інсталяція часу bsd все ще існуватиме, але gnu-time буде виконуватися за замовчуванням, як це спочатку з'являється у вашій PATH.
— Dennis
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.