News for hackers. Stuff that matters.
Re:ssh whoami.filippo.io by jmmv on Monday January 09, 2023 @12:55AM (#34307275)
Additionally, you can also do:

Host foo foo.example.com some.other.alias

There are no comments on this comment yet.