Oh mannnn you are right. I should refactor my code to read from `$HOME/.ssh/config` hahaha, thanks for the enlightenment, and the "lazy" part is because I want to interactively to select the host/server.