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.005
i 10.5
a te również rozszerzony automatycznie 10.0.0.5
. Próbowałem również 192.168.1
i to rozszerzyło się na 192.168.0.1
. Wszystko to również pracował ping
zamiast 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.)