Ho scritto per errore
ssh 10.0.05
invece di
ssh 10.0.0.5
e fu molto sorpreso che funzionasse. Ho anche provato 10.005
e 10.5
anche quelli si sono espansi automaticamente a 10.0.0.5
. Ho anche provato 192.168.1
e che si è esteso a 192.168.0.1
. Tutto questo ha funzionato anche ping
piuttosto che ssh
, quindi sospetto che funzionerebbe per molti altri comandi che si collegano a un host fornito dall'utente arbitrario.
Perché funziona? Questo comportamento è documentato da qualche parte? Questo comportamento fa parte di POSIX o qualcosa del genere? O è solo una strana implementazione? (Usando Ubuntu 13.10 per quello che vale.)