Mathieu Malaterre wrote: > I am trying to find out the memory used by a process (peak memory > actually). [...] I cannot find a way to > retrieve the PID of a process when execution time is really short.
Run your process in the background and then do "echo $!". -- John Hasler -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/874oaojgqh....@thumper.dhh.gt.org
