O ssh não pode resolver nenhum nome de host, mas se conecta bem quando um IP é usado. nslookup funciona bem. O ping funciona bem. Todos os outros utilitários da Web funcionam bem. Existe algum problema de configuração estranho com o ssh.
A resposta não deve ser definir quaisquer hosts personalizados em um arquivo de configuração, pois esse problema não está limitado a hosts personalizados que eu criei. Isso acontece em qualquer e todos os domínios.
Estou usando o Windows 10 e o Cygwin. PuTTy funciona bem também.
Analisei questões semelhantes, mas nenhuma tinha meu problema específico, e a maioria tratava de problemas para resolver domínios em redes personalizadas. Alguma ideia de qual é o problema?
Tags ssh