Je n'arrive pas à définir un nouveau $ PATH tel qu'il soit utilisé lors de l'exécution de commandes via ssh user@host command
. J'ai essayé d'ajouter export PATH=$PATH:$HOME/new_path
à ~ / .bashrc et ~ / .profile sur la machine distante, mais l'exécution ssh user@host "echo \$PATH"
montre que le changement n'a pas été pris en compte (il montre / usr / local / sbin: / usr / local / bin: / usr / sbin: / usr / bin: / sbin: / bin: / usr / games). La machine distante exécute Ubuntu 8.04.
Je suis sûr que je pourrais le pirater dans / etc / profile, mais ce n'est pas une solution propre et cela ne fonctionne que lorsque l'on a un accès root.
export PATH=$PATH:$HOME/new_path
à la fois ~ / .bash_login et ~ / .bash_profile (en plus des ~ / .bashrc et ~ / .profile précédemment essayés). Aucun des deux ne fonctionne. Dans les deux cas, j'ai dû créer le fichier.