Subject: Re: pkg/16226 (new patch for review)
To: Christopher Richards <richards+netbsd@CS.Princeton.EDU>
From: David Laight <>
List: tech-userlevel
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: