Windows10上のubuntuのネット環境

質問

Windows10にはubuntuの環境を実現することができます。ubuntuではキー入力してファイルをダウンロードしたりするわけですが、その場合のプロキシの環境はどうなっているでしょうか。プロキシの設定がなしでは普通はプロキシサーバの関所を通ることができません。ただし、Windowsはプロキシ設定で通過することができますが。ubuntuと言ってもWindows内部なのでその設定を使ってプロキシを通過してくれないかと思ったのですが、通らないようです。
今のところ、sudo apt updateなども通りません。Windowsのネットはこの書き込みで確認済です。よろしくお願いします。

回答No.4

notnot

Linuxで一般的なのは、環境変数での設定です。

export http_proxy=http://server:port
export https_proxy=$http_proxy
export ftp_proxy=$http_proxy

たまに、この環境変数を見ないコマンドがありますが、その場合は、おおむね
コマンド名 --help
で、proxyについてのコマンドラインオプションが出ることが多いです。あるいは設定ファイルに書くコマンドもあります。
まずは環境変数にセットしてやってみてください。

お礼

回答ありがとうございます。これが実体であり、GUIとか他のアプローチで設定できますが、それもすべてこれを設定するためだと思っております。
.bashrcの中でよろしいですね。
ところで、例えば、export http_proxy= http://server:port
のように、半角空白が入るとエラーになるでしょうか。win10のubuntuではsource .bashrcでエラーになり、半角空白を消してツメルとOKでした。結構センシティブだと思いますが、そういうことになるでしょうか。

逸れますが、コマンドラインでもフォルダ名でも半角空白があったら別の意味になってしまうということと同じなのかなと思いますが。

回答No.3

486HA

私の場合は、プロキシの設定は”自動プロキシセットアップ”で
”設定を自動的に設定する”を、”オン”にしてあります。

回答No.2

OKWavexx

Windows10で行っているProxy設定を、WSLのubuntu上でも行えばいいだけです

回答No.1

486HA

いわゆるWSL（Windows Subsystem for Linux）において
proxy設定は全く意識しないままUbuntu 18.04を試していますが、
最初のUbuntu 18.04から現在は18.04.4にupgradeされています。
”sudo apt update”であれ”sudo apt upgrade”であれパスワード入力で実行されます。

参考URL：

http://www.atmarkit.co.jp/ait/articles/1608/08/news039.html

お礼

回答ありがとうございます。確認ですが、プロキシによる管理下の環境であり、Windows10の設定→ネットワークとインターネット→プロキシ,でそのためのプロキシ設定が行われているということでしょうか。それが効いているということで。
プロキシサーバが管理していない環境（自宅とか）では何もしなくてもいいのですが。