How to ping a group of hosts with bash on a domain name and write their IP to a file?

Question

linux

There is a file with the domain names of the servers, you need to ping them and write the addresses to the file
Machine name - IP address.
How to do it in bash? (or python/ruby)

Answer 1

to find out the IP it is better to use the host command

while read p || ; do                                                 
     host ${p} >> result.txt                                                        
done < hosts.txt