I don't know if anyone has posted a which script yet -- it's pretty
easy:

#/bin/bash
type -p "$@"

-- 
Raul

Reply via email to