Hacker News new | ask | show | jobs
by scbrg 2726 days ago
Ah, timing other shell functions is a use case I hadn't considered. Yes, then you're out of luck I suppose.
1 comments

I think $duration is a thing, which is the time it took to run the previous command. It doesn't separate things like time does, but it's still useful for some cases.

In fact, I customized my prompt to pretty print the previous command's duration if it took longer than 3 seconds or something like that.

I use the Spacefish prompt plugin[0], which does that as well, and comes with a whole lot of other goodness!

[0] https://github.com/matchai/spacefish