On Monday, 22 May 2000, Mats Bengtsson writes:
> Jan, how did you estimate the memory usage?
Homebrew mem script:
#!/bin/bash
cat /proc/[0-9]*/stat | awk '{print substr ($2, 2, length($2)-2) " " $24*4096}' | sort
-k2rn | awk '{cum=cum+$2; printf
"%-15s%10d%8.3fM%10d%8.3fM\n",$1,$2,$2/1024/1024,cum,cum/1024/1024}'
combined with a while true; do mem ; sleep 1; done
Does anyone know how this is meant to be done; ie, why is
/usr/bin/time so lame on Linux?
Jan.
--
Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien | http://www.lilypond.org