REPORTTIME для Bash

Question

В Zsh есть оригинальная функция, которая автоматически печатает статистику по времени для команд, выполнение которых длится дольше, чем $REPORTTIME . Думайте об этом как об автоматическом выполнении конвейера во time мере необходимости.

Из руководства Zsh:

REPORTTIME
    If nonzero, commands whose combined user and system execution times
    (measured in seconds) are greater than this value have timing statistics
    printed for them.

Существует ли подобная функция или набор сценариев, обеспечивающих похожее поведение, для Bash?

Answer 1

У меня есть реализация этого, здесь: https://github.com/mstormo/reporttime

Клонируйте репозиторий Git и просто создайте сценарий reporttime.bash. Также позволяет напрямую помещать компоненты синхронизации в приглашение Bash вместо того, чтобы сообщать об этом в отдельной строке.