On Tue, Sep 16, 2003 at 04:30:44PM -0400, Daniel Jacobowitz wrote: > This is likely just to be a bug in your shell, have you tried > restarting your shell? Why bug? hash -r would do the job too. Jakub