@mpy 的评论是正确的。所以我要重新表述我的问题。我真的很喜欢 zsh 中的 REPORTTIME 功能,但是根据zsh doc,它仅在用户 + 系统时间大于 $REPORTTIME 时报告时间。有没有办法让 zsh 在挂墙时间大于某个数字时报告时间,但在挂墙时间低于该数字时不报告时间?
原始问题:我真的很喜欢 zsh 中的 REPORTTIME 功能,但是根据zsh doc,它只会在命令结果非零时输出。但是在某些情况下,某些命令需要一段时间并失败,我想知道花了多长时间。有谁知道即使结果失败也能打印出命令时间的方法?