3 ms·

Well, that sure beats my .bashrc that's full of alias "servername"="ssh user@servername -p portnum"...