how make python37 the binary called by "python"

[Bill Cole]

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
bill at scconsult.com or billcole at apache.org
(AKA @grumpybozo and many *@billmail.scconsult.com addresses)
Available For Hire: https://linkedin.com/in/billcole