4 ms·
Ah, timing other shell functions is a use case I hadn't considered. Yes, then you're out of luck I suppose.
by scbrg 8y ago
Ah, timing other shell functions is a use case I hadn't considered. Yes, then you're out of luck I suppose.
- beatgammit 8y agoI 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.
- avarun 8y agoI 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 https://github.com/matchai/spacefish