Some one beat me to this. I wrote a little script
which lets you do this
$ go remote.machine
and ssh's to that machine in a new tab. Combine that with public-key based
logins and it's very nice indeed.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds