Re: "times" ?!

[Patrick Welche]

quartz% cat foo.sh
#! /bin/sh

:; times >at-times 2>/dev/null; echo $?


at_times=:
times >dev/null 2>&1 && at_times=times
$at_times >at-times
echo $?  
quartz% sh foo.sh
times: not found
127
times: not found
0


Cheers,

Patrick