1. 15
  1.  

  2. 1

    Wow. These are great. I would love if it would be possible to run “perf stat” as a regular user in some limited form so that it would be a replacement for ‘time’ but with more details.