J'ai accidentellement tapé
ssh 10.0.05
au lieu de
ssh 10.0.0.5
et était très surpris que cela a fonctionné. J'ai aussi essayé 10.005
et 10.5
et ceux aussi élargi automatiquement 10.0.0.5
. J'ai aussi essayé 192.168.1
et cela s'est étendu à 192.168.0.1
. Tout cela a également fonctionné avec ping
plutôt que ssh
, alors je suppose que cela fonctionnerait pour beaucoup d'autres commandes qui se connectent à un hôte arbitraire fourni par l'utilisateur.
Pourquoi ça marche? Ce comportement est-il documenté quelque part? Ce comportement fait-il partie de POSIX ou de quelque chose? Ou est-ce juste une implémentation étrange? (Utiliser Ubuntu 13.10 pour ce que ça vaut.)