Stop memorizing IP addresses. 🛑 I got tired of typing ssh root@192.1xx.xx.xxx from memory every time I needed to check a server. So, I built ssh-to-server — a tiny CLI tool that turns your SSH config into an interactive menu. Why use it? 📂 Zero Config: It automatically reads your existing ~/.ssh/config. ⌨️ Interactive UI: Pick a server using arrow keys or quick number shortcuts. 🛠️ Respects your setup: Works with your IdentityFile, custom ports, and proxy jumps. Is it revolutionary? No. Does it save me from 20 daily typos? Absolutely🤓 Built with Python, Click, and a healthy dose of terminal customization procrastination. 📦 Install it: uv tool install ssh-to-server (or pip install ssh-to-server) 🔗 GitHub: https://lnkd.in/eh--kjfZ If your SSH config is longer than your shopping list, this one's for you. 🤝 #Python #DevOps #CLI #OpenSource #Productivity
dns? :D
Cool, you get that with rofi our of the box
Or just use a VPN to connect to your server via SSH with semantic IP-Address assignment
Nice tool, I use something similar myself. https://github.com/quantumsheep/sshs It’s especially helpful when working with older networking equipment that requires a range of additional SSH configuration tweaks to maintain backward compatibility.
You can get the same result using zsh with fzf-tab and a small zstyle ':completion:*:ssh:*' hosts snippet that reads ~./.ssh/config — tab on ssh then opens a fuzzy picker natively.
Why not use VPN instead?
Maybe using alias?