He configurado $ PATH personalizado en mi ~ / .bash_profile en una máquina remota (para programas instalados localmente por el usuario por nix
y cabal
).
Uso eshell y vagabundo para emitir comandos en la máquina remota ( cd /remotehost:somedir
; luego comandos). (Elegí este método en lugar de las sesiones SSH comunes en un terminal principalmente porque estoy usando una mala conexión y las sesiones SSH se interrumpen muy a menudo, por lo que no puedo contar con poder iniciar sesión, cd y emitir un comando antes de que se interrumpa la conexión.)
Desafortunadamente, mi PATH personalizado no se cumple en esta situación, y algunos de los programas no se encuentran.
¿Cuál sería la mejor manera de resolver este problema?