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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
