ssh вообще не может разрешить имена хостов, но подключается нормально, когда используется IP. nslookup работает нормально. пинг работает нормально. Все остальные веб-утилиты работают нормально. Есть некоторая странная проблема конфигурации с ssh.
Ответом не должно быть определение каких-либо пользовательских хостов в файле конфигурации, поскольку эта проблема не ограничивается созданными мной пользовательскими хостами. Это происходит на любом домене.
Я использую Windows 10 и Cygwin. PuTTy тоже работает нормально, кстати.
Я посмотрел на похожие вопросы, но ни у одного из них не было моей конкретной проблемы, и большинство из них касалось решения проблем доменов в пользовательских сетях. Есть идеи, в чем может быть проблема?