|
|
|
|
|
by beatgammit
2728 days ago
|
|
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. |
|
[0] https://github.com/matchai/spacefish