> But if (as has been pointed out) csh has a builtin which now, then the
> right thing to do with the which script is just to trash it - it doesn't work
> for non csh users (who all have other builtin commands which do work)
> and apparently isn't needed for csh users ... hence it is useful for no-one.

Quite.

I've just verified it on a 1.4U machine (my workpad z50, hpcmips).

I was happy submitting a minor diff, but actual removal of /usr/bin/which
is something I'd rather not handle, as I'm still a relative newbie to CVS
and the interdependencies in the tree...

Can I interest someone in performing the actual amputation so this PR can
go to bug heaven?

Todd Whitesel
toddpw @ best.com