DNS ドメイン名、IP アドレス、ポート番号を使用して環境変数を介してHTTPプロキシを使用する AWS CLI ように を設定する方法について説明します。