This edit would cause the post to become a different answer. It turns a command to add a directory to the
$PATH
(which perhaps did not work for the editor because it was not put in
~/.profile
or anywhere) into a comment to move an executable into a directory that is presumed already to be in
$PATH
.