ホストをもとに IP アドレスを取得する
こんばんは。
現在、過去に作って稼動しているシステムの改修作業をしているのですが、そのなかで必要になったので、スペース区切りでホスト名が羅列してあるファイルを読み込んで、読み込んだホスト名を IP アドレスに変換する、というスクリプトを Python で書きました。
import re, socket
file = open('host.txt', 'r')
pattern = re.compile('\s+')
hosts = pattern.split(file.read())
result = []
for x in range(0, len(hosts)):
try:
result.append(socket.gethostbyname(hosts[x]))
except:
result.append(hosts[x])
file.close()
稼働中のシステムは PHP で書いてあるし、要件も PHP による開発、なんだけどローカルの処理だったら Python だよね、 Python 勉強中なんだし、 Python 便利なんだから、ということで Python で書いてあります。
それと、これターミナルから Python の対話モードで書いたものを記憶の限りこちらに書き写したものです。 ですので、 typo とかあるかもしれませんが、そこはご愛嬌ってことで。
