-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 04/30/2012 09:53 PM, Alfred Zhong wrote: > Basically, I want something like $ pfstat ./a.out page faults: 3 Execution > Time: 1003 ms > > Is there such a tool? I want to make sure before deciding to write one by > myself, which will be a lot of work...
/usr/bin/time --format %F command See the man page for time. Note that you need to explicitly specify /usr/bin/time to prevent the shell builtin time command from being used, which is more limited. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJPoJY8AAoJEJrBOlT6nu75xDwIAK+sROIshRrvCDdomTwtX2hI pvkD/TkZ1pB2t7gO1TWDDn3/1dMLwkc+poxeNHuSvRwGCL7XdutXPFprWrs9EK+8 lIF3Ieat9AMz4o0+Unr/op7JJJK2bulZlAc80lwZdkNNLmPeDwn8Pwl7Q/tgGatU OI4Lhd/7CcdyFtGawXbOeOzBNwYdU+1mplYshQCgWbamWMM+NNC6IBDifJydvXc0 RYSpqUSvdaRJb5Lti2eoxioYZJsGFOmpfkFlPiuXIn3p86IWwz/NYMFyHmQ5h6Qr 2ltfnFID3z0YlKHq0ciJIAekiZUbg81tR1xNP1Wx/bUqtg+biEGmc0GsK75n81Y= =98xm -----END PGP SIGNATURE----- -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss