On 29 Oct 2018, at 16:35, Murray Eisenberg wrote:
That worked, thanks!
Would “source ~/.profile” also have accomplished the same end?
Only if your .profile sets the PATH environment variable, which most do.
However, it is quite possible that your .profile assumes that it is only
run once when initially running a login shell and does things that
shouldn't be done twice in the same shell (like arbitrarily prepending
elements onto PATH,) OR that it wisely avoids doing such things.
In short: "hash -r" or "PATH=$PATH" are more sure and simple ways to
clear the executable path cache in bash.
--
Bill Cole
[email protected] or [email protected]
(AKA @grumpybozo and many *@billmail.scconsult.com addresses)
Available For Hire: https://linkedin.com/in/billcole
