← Back to context

Comment by rocqua

5 days ago

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.

4 comments

rocqua

Reply
Tom1380  5 days ago

Wouldn't it also work with "env time" if that's easier to type?

  • aaronmdjones  4 days 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_  3 days ago

    The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)