Hacker News new | ask | show | jobs
by ilovecaching 1369 days ago
Correct, I'm looking for a tool that manages a large list of individual hostnames, I do already extensively use my ssh config to automatically apply the right credentials etc. to the hosts once I have the hostname I want.