3 ms·
Whoa, which "time" command are you using that provides memory and page fault info?
by dralley 8y ago
Whoa, which "time" command are you using that provides memory and page fault info?
- Retra 8y agoFrom what I can tell, the GNU time command has a -f "%F" flag that will provide it. http://man7.org/linux/man-pages/man1/time.1.html http://man7.org/linux/man-pages/man1/time.1.html
- burntsushi 8y agoI'm using the `time` built-in from zsh, with this config in my ~/.zshrc: TIMEFMT=$'\nreal\t%*E\nuser\t%*U\nsys\t%*S\nmaxmem\t%M MB\nfaults\t%F'