My remote shell prompt in better-shell always shows /ssh:SERVER:/home/USER/ #$ , regardless of what the bashrc says on that server. Further, that directory /home/USER, is permanent, and it doesn't matter what I cd to. I have verified that this is NOT the remote-server's fault; it's definitely better-shell. How can I customize the shell prompt I see in my better-shell-remote?