On Thu, Jun 7, 2018 at 4:59 AM, Zbigniew Jędrzejewski-Szmek
<zbyszek(a)in.waw.pl> wrote:
I'm pretty sure ~/bin should be moved too. All the same
considerations
apply to ~/bin as to ~/.local/bin, and having one at the beginning and
one at the end would be rather strange.
Yes, surely it makes no sense to change one but not the other. Thanks
for pointing this out, Zbigniew.
Michael