Interesting setup - thank you for sharing. I've SSH'd in to hundreds machines between home and work, and never thought to check `$SSH_CONNECTION` to see if I w

Interesting setup - thank you for sharing. I've SSH'd in to hundreds machines between home and work, and never thought to check `$SSH_CONNECTION` to see if I was remotely connected or not and take actions on that fact. So clever to have a different prompt when remoting in or not. Your setup is more complicated than mine, and maybe even than what I want, but I'm excited to take some inspiration from it and maybe incorporate some of this to my setup.