Eu tenho um usuário que não fez modificações no $ PATH em nenhum arquivo de ponto: é exatamente a configuração padrão do sistema. Em um shell de login:
$ ssh example.com
user@example.com:~$ cat /tmp/hello.hs
#!/bin/bash
echo "$SHELL"
echo "$PATH"
user@example.com:~$ /tmp/hello.hs
/bin/bash
/usr/local/bin:/usr/bin:/bin
Exatamente como especificado em /etc/profile
. Acho isso inesperado:
$ ssh example.com '/tmp/hello.sh'
/bin/bash
/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/games
Como eu disse, não há modificação de $ PATH ~/.bashrc
nem em /etc/bash.bashrc
. Também ~/.ssh/environment
não. O ssh(1)
declara que a variável de ambiente PATH
é
Defina como PATH padrão, conforme especificado ao compilar ssh.
mas esta discussão de StackOverflow e esta lista de discussão artigo sugerem que eu deveria ser capaz de influenciar o $ PATH para um determinado comando simplesmente modificando / etc / profile, um dos arquivos do shell de inicialização, etc.
Oque esta acontecendo aqui?