https://stackoverflow.com/questions/820517/bashrc-at-ssh-login
Anonymous
Solving the next 5% probably costs more than the previous 90%.