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.005
und 10.5
diese auch automatisch zu erweitern 10.0.0.5
. Ich habe es auch versucht 192.168.1
und das erweitert 192.168.0.1
. All dies funktionierte auch ping
eher 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.)