Re: "times" ?!

[Akim Demaille]

| quartz% cat foo.sh
| #! /bin/sh
| 
| :; times >at-times 2>/dev/null; echo $?
| 
| 
| at_times=:
| times >dev/null 2>&1 && at_times=times
| $times >at-times
| echo $?  

Sorry, stupid typo :(

cat >foo.sh <<EOF
#! /bin/sh

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


at_times=:
times >dev/null 2>&1 && at_times=times
$at_times >at-times
echo $?

EOF