@caarlos0 Thanks, I didn't know about the RemoteCommand for ~/ssh/config. I was always manually doing it (via running an alias)