Ich habe versehentlich getippt
ssh 10.0.05
anstatt
ssh 10.0.0.5
und war sehr überrascht, dass es funktionierte. Ich habe auch versucht 10.005und 10.5diese auch automatisch zu erweitern 10.0.0.5. Ich habe es auch versucht 192.168.1und das erweitert 192.168.0.1. All dies funktionierte auch pingeher mit als ssh, daher vermute ich, dass es für viele andere Befehle funktionieren würde, die eine Verbindung zu einem beliebigen vom Benutzer bereitgestellten Host herstellen.
Warum funktioniert das? Ist dieses Verhalten irgendwo dokumentiert? Ist dieses Verhalten Teil von POSIX oder so? Oder ist es nur eine seltsame Implementierung? (Verwenden von Ubuntu 13.10 für das, was es wert ist.)