Я випадково набрав
ssh 10.0.05
замість
ssh 10.0.0.5
і дуже здивувався, що це спрацювало. Я також спробував 10.005і 10.5те, що також автоматично розширилося на 10.0.0.5. Я також спробував, 192.168.1і це розширилося до 192.168.0.1. Все це також працювало, pingа не ssh, тому я підозрюю, що це буде працювати для багатьох інших команд, які підключаються до будь-якого хоста, що надається користувачем.
Чому це працює? Чи десь зафіксована така поведінка? Ця поведінка є частиною POSIX чи щось таке? Або це просто якась дивна реалізація? (Використовуючи Ubuntu 13.10, чого варто.)