I'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.
I'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.
Wouldn't it also work with "env time" if that's easier to type?
It would also work to just write 'time'
Quoting overrides aliases and builtins.
The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)