Bash手册说：
Bash 尝试确定它何时在其标准输入连接到网络连接的情况下运行，如由远程 shell 守护程序（通常
rshd）或安全 shell 守护程序执行时sshd。如果 Bash 确定它正在以这种方式运行，它会读取并执行来自 的命令~/.bashrc（如果该文件存在且可读）。
这个 Bash 来源~/.bashrc：
ssh user@host :
但是这个 Bash 来源~/.bash_profile：
ssh user@host
根据规范，我没有看到这两个命令的区别。在这两种情况下，stdin 是否都连接到网络连接？