Raul Miller Mon, 13 Nov 1995 09:51:56 -0500
I don't know if anyone has posted a which script yet -- it's pretty easy: #/bin/bash type -p "$@"
-- Raul