5 ms·
The real world benchmark is measuring it from invocation, both for cold launches and 'hot' (data cached from the last run). Interestingly I might have only eve
by mjevans 1y ago
The real world benchmark is measuring it from invocation, both for cold launches and 'hot' (data cached from the last run).
Interestingly I might have only ever used the time (shell) builtin command. GNU's time measuring command prints a bunch of other performance stats as well.
- rocqua 1y agoI'm annoyed every time I have to write $(which time). But the stats given by -v are just so much more valuable from gnu-time.
- Tom1380 1y agoWouldn't it also work with "env time" if that's easier to type?
- deleted 1y ago[deleted]
- aaronmdjones 1y agoIt would also work to just write 'time' Quoting overrides aliases and builtins. $ 'time' -v -- echo hi hi Command being timed: "echo hi" [...]
- janc_ 1y agoThe easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)