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.005e 10.5anche quelli si sono espansi automaticamente a 10.0.0.5. Ho anche provato 192.168.1e che si è esteso a 192.168.0.1. Tutto questo ha funzionato anche pingpiuttosto 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.)