Comment by mjevans

Comment by mjevans 4 days ago

5 replies

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 4 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.

  • Tom1380 4 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…)

    • [removed] 4 days ago
      [deleted]