--On 6 December 2010 09:51:44 -0500 John Jetmore <jj33@???> wrote:
>
> If you have to massage the output of exiqgrep using external tools,
> exipick might be faster, just depends on the exact state of your
> machine.
A couple of timings on my very old XServe:
/usr/bin/time -p exiqgrep -xic
156 matches out of 789 messages
real 0.26
user 0.10
sys 0.10
/usr/bin/time -p exipick -xic
156 matches out of 789 messages
real 1.25
user 0.73
sys 0.13
So, as John says, exiqgrep is significantly faster here.
piping through awk doesn't seem to add significant overhead.
--
Ian Eiloart
IT Services, University of Sussex
01273-873148 x3148
For new support requests, see
http://www.sussex.ac.uk/its/help/
