Dale Scheetz wrote: > /usr/local/bin/pine not found > > If I explicitly call /usr/bin/pine it works just fine. > > I just checked on another user login, and no problems. This must be a bash > command caching artifact. I guess logging out will fix it...
hash -r would do it too. Ulf