You write: > \kill can not invoke /bin/kill while \time invoke /usr/bin/time
time is flagged as a shell keyword, kill as a shell builtin. Please use "command time" or "command kill" if you want to call the command. Not sure, if that is a bug at all. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
