Docker Quickstart Terminalで、仮想マシンの作成に失敗する。

Question

###実現したいこと
Docker Quickstart Terminalで、仮想マシンの作成に失敗する。
なにかヒントを頂けないでしょうか?

[手順]
DockerをWindows7にインストール後にデスクトップに作成されたDocker Quickstart 　Terminalアイコンを実行起動しましたが、下記の様なエラーになってしまいました。

###発生している問題・エラーメッセージ

Running pre-create checks...
(default) No default Boot2Docker ISO found locally, downloading the latest release...
Error with pre-create check: "Get https://api.github.com/repos/boot2docker/boot2docker/releases/latest: dial tcp: lookup api.github.com: no such host"
Looks like something went wrong in step ´Checking if machine default exists´..
. Press any key to continue...

###試したこと
社内で利用しているため、認証用プロキシの設定を...\Doctor Toolbox\start.sh に
プロキシ設定を記載しましたが、状況が変わりません。

export HTTP_PROXY="http://user:[e-mail]:8080"
export HTTPS_PROXY=${HTTP_PROXY}
export NO_PROXY="127.0.0.1,localhost"

###補足情報(OS/DOCKERのバージョン/BIOSなど)
・Windows7 Professional
・Docker Toolbox(17.07.0-ce)
・Advanced->CPU Setting->Intel Visualization Technology : Enabled

Answer 1

ログからはgithubのapiサーバのDNSルックアップに失敗しているように見えます。

windowsの環境変数にプロキシの設定を入れてもうまくいきませんか？

Comments

[kapotanasana]

コメント頂き、ありがとうございます。

windowsの環境変数(ユーザー）に下記記述をし、再トライしてみましたが、起動に失敗します。
Docker Quickstart Terminal実行時に出力されるエラーメッセージは、同じエラーです。

[変数]
http_proxy
[値]
http://ユーザ名:パスワード@proxy.example.com:8080

[変数]
https_proxy
[値]
https://ユーザ名:パスワード@proxy.example.com:8080
※set コマンドでユーザ名/パスワードが環境変数に正しくセットされていることは,
　確認しています。

[kentei_syunrai]

ユーザ名もしくはパスワードはURLエンコードされていますか?(エンコード対象の文字列がなければする必要はありませんが)

[kapotanasana]

ユーザ名/パスワードに使用しているコードは、英数字と '.' のみです。

でも、回答者様からのコメントを考えると、通常ならwindowsのユーザ環境変数に正しく
設定されていれば、プロキシ認証されるということですね。。。。

[kentei_syunrai]

以下、ご確認ください。
■start.shの修正はなくし、Windowsの環境変数のみで試してみる。
■Windowsの環境変数設定時にユーザーIDまたはパスワードに含まれたピリオドをURLエンコードして、試してみる。

上記のいずれかでできないとなると、私はお役に立てないかもしれません。