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