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.
last updated 2023-11-29 23:35:56. served from tektonic.jcomeau.com