That’s the beauty of how jumphosts work, you get the input hostname verbatim. SSH leaves lookup to the server. :-) I like this idea! I wonder how much of it is

That’s the beauty of how jumphosts work, you get the input hostname verbatim. SSH leaves lookup to the server. :-) I like this idea! I wonder how much of it is compatible with how LazySSH works right now. It’s not really on my list of things, though.