ЗВІТ ПРО БАШ

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?

У мене є його реалізація тут: https://github.com/mstormo/reporttime

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