DNS

Dockerのインストールを試みたらダウンロードサイトの名前解決できないエラー発生。適当なDNSを設定してエラーを回避できました。