sonyarianto··on Show HN: Sshmgr, simple SSH manager for busy and lazy peopleOh 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.