Eu sei que existe uma ferramenta resolveip para isso que vem com o MySQL. Também deve ser absolutamente simples escrever algo com, por exemplo, Python ou Perl ...
Havia essa ferramenta, mas não consigo lembrar seu nome. Eu precisava configurar a precedência de endereços por /etc/gai.conf . Eu finalmente consegui encontrar um erro, mas para o futuro, qual é o nome da ferramenta que exibe os endereços do hostname como getaddrinfo(3) exibe?