どの Bash 起動ファイルがそのプロキシを設定したのか
まず login_shell を確認し、次に選ばれたプロファイルと継承した親環境を区別します。
shopt login_shell| 起動 | 起動時の入力 |
|---|---|
| ログイン | /etc/profile、続いて ~/.bash_profile、~/.bash_login、~/.profile のうち読める最初の既存ファイル。これが ~/.bashrc を読み込むことがあります |
| 対話的だが非ログイン | ~/.bashrc。Debian 系のビルドでは /etc/bash.bashrc も |
| 非対話的 | 該当する場合は BASH_ENV |
その経路上の代入と読み込まれたスクリプトを調べ、実際のプロキシ変数を特定してください。そのため、端末のモードが違えば選ばれる入力元も変わります。
bash --noprofile --norc は起動ファイルを飛ばしますが、親環境は依然として継承します。ファイル内の代入を消しても、端末やシェルがすでに保持している値は消えません。
値を所有する入力元を直し、意図した親環境から起動してください。末尾の別の unset は、別の起動経路を直さないまま入力元を隠すことがあります。