![[PukiWiki]](image/picc.png "[PukiWiki]")
インターネットのお外に出かけるのに proxy を要求される環境での設定云々
単純に/etc/yum.confに追加でいいみたい
echo "proxy=http://10.10.0.254:3128" >> /etc/yum.confvi /etc/apt/apt.conf.d/99proxy
Acquire::http::Proxy "http://10.10.0.254:3128";
Acquire::https::Proxy "http://10.10.0.254:3128";
あるいはaptを実行するユーザに環境変数「http_proxy」と「https_proxy」を加える
export http_proxy=http://10.10.0.254:3128
export https_proxy=http://10.10.0.254:3128システム全体に波及なら「/etc/wgetrc」に記載
echo "https_proxy=http://10.10.0.254:3128/" > /etc/wgetrcwgetのコマンドの引数としてなら「-e」オプションでHTTPS_PROXYを追加
wget -e HTTPS_PROXY=http://10.10.0.254:3128 https://web.chaperone.jp/index.html環境変数に記載なら
export http_proxy=http://10.10.0.254:3128/
export https_proxy=http://10.10.0.254:3128/「apt」コマンドと同じ
システム全体に波及なら「/etc/curlrc」に追記
proxy = "http://10.10.0.254:3128"curlのコマンド引数にするなら「-x」で指定
curl http://web.chaperone.jp -x http://10.10.0.254:3128環境変数なら
export http_proxy=http://10.10.0.254:3128/
export https_proxy=http://10.10.0.254:3128/これで「apt」「wget」と共通
「git config」で定義
git config --global http.proxy http://10.10.0.254:3128「conda config」で定義
conda config --set proxy_servers.http http://10.10.0.254:3128
conda config --set proxy_servers.https http://10.10.0.254:3128pipのコマンド引数で対応するなら「--prpxy」を使用する
pip install scipion-installer --proxy http://10.10.0.254:3128恒久的には「~/.pip/pip.conf」を用意する
vi ~/.pip/pip.conf
[global]
proxy = http://10.10.0.254:3128環境変数なら
export https_proxy="http://10.10.0.254:3128"の定義で行ける. これでこの設定方法は「apt」「wget」「curl」と同じに
恒久的なら
echo "https_proxy=http://10.10.0.254:3128/" >> ~/.Renviron環境変数なら
export http_proxy="http://10.10.0.254:3128"
export https_proxy="http://10.10.0.254:3128"これでこの設定方法は「apt」「wget」「curl」「R」と同じに. 万能じゃね
コマンドラインでは
HTTP_PROXY=${HTTP_PROXY} HTTPS_PROXY=http://10.10.0.254:3128/ singularity build ...
