Przypadkowo wpisałem
ssh 10.0.05
zamiast
ssh 10.0.0.5
i byłem bardzo zaskoczony, że zadziałało. Próbowałem też 10.005i 10.5a te również rozszerzony automatycznie 10.0.0.5. Próbowałem również 192.168.1i to rozszerzyło się na 192.168.0.1. Wszystko to również pracował pingzamiast ssh, więc podejrzewam, że to działa w wielu innych poleceń, które łączą się z dowolnym dostarczone przez użytkownika hosta.
Dlaczego to działa? Czy to zachowanie jest gdzieś udokumentowane? Czy to zachowanie jest częścią POSIX czy coś takiego? A może to tylko dziwna implementacja? (Używanie Ubuntu 13.10 za to, co jest warte.)