昨日ようやくRaspberry Piが到着。こいつがDHCPで取るIPアドレスを、Pingブロードキャストで確認しようと試みたところ、予想外に手がかかってしまいました。 Pingに応答しないサーバーはよく見かけるので、きっとPingを受信する側の設定が必要なのだと思い込…