2023-06-21-0428Z


I was today years old when I found out that one can make short aliases for hostnames or IP addresses to which he can then ssh and rsync. Simply edit $HOME/.ssh/config and add, for example:

Host one
HostName 1.1.1.1
Host ms
HostName www.microsoft.com

It doesn't work for ping, though, or any command not handled ultimately by OpenSSH. So it's not as useful as my previous way of creating these aliases, by editing /etc/hosts. But on a machine on which I don't have root access, such as my Android phone running Termux, it's a game changer.

Back to blog or home page

last updated 2023-11-29 23:35:56. served from tektonic.jcomeau.com