Subject: Re: pkg/16226 (new patch for review)
To: Christopher Richards <richards+netbsd@CS.Princeton.EDU>
From: David Laight <email@example.com>
Date: 01/18/2003 19:03:43
> There's really no need to add this to the /bin/sh source. Just put
> the following (or similar) into .shrc. Or, use bash. One caveat: the
> "command" builtin of /bin/sh is currently broken, so this will only
> work on /bin/ksh at the moment.
I've a fix for that in the pipeline....
David Laight: firstname.lastname@example.org