2 ms·

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.

• Tom1380 1y ago
  Wouldn't it also work with "env time" if that's easier to type?
  • deleted 1y ago
    [deleted]
  • aaronmdjones 1y ago
    It would also work to just write 'time' Quoting overrides aliases and builtins. $ 'time' -v -- echo hi hi Command being timed: "echo hi" [...]
  • janc_ 1y ago
    The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)