【Linux】【Ubuntu18.04】プロキシ環境での設定いろいろ
インターネットへ接続するときの環境がプロキシ経由だった場合。
いろいろ設定しておかないと面倒なので以下のコマンドを実行していく。
プロキシサーバは「proxy.co.jp」とする。
・aptの設定
$ sudo vi /etc/apt/apt.conf.d/apt.conf
Acquire::http::proxy "http://proxy..co.jp:8080";
Acquire::https::proxy "http://proxy.co.jp:8080";
Acquire::ftp::proxy "http://proxy.co.jp:8080";
・pipの設定
$ export HTTP_PROXY=http://proxy.co.jp:8080
$ export HTTPS_PROXY=http://proxy.co.jp:8080
$ python3 -m pip install proxy
※pipでSSLエラーが発生する場合は以下の設定
$ vi ~/.pip/pip.conf・以下を記載
[global]
trusted-host = pypi.python.org
pypi.org
files.pythonhosted.org
・bashの設定
$ vi ~/.bashrc
export http_proxy="http://proxy.co.jp:8080/"
export https_proxy="http://proxy.co.jp:8080/"
export no_proxy="127.0.0.1,localhost,xxx-server.co.jp" ※プロキシを通さないルートはこの設定を入れる
・curlの設定
$ vi ~/.curlrc
proxy=http://proxy.co.jp:8080