windows にベタに miniforge インストールする。
ダウンロードは、miniforge の Releases から一番シンプルなファイル名の Miniforge3-Windows-x86_64.exe をダウンロードしてインストール。
インストールが終わって、仮想環境を作ろうとして、
$HOME\miniforge3\Scripts\conda.exe create -n py39
すると、proxy 関係ないはずなのに HTTP CONNECTION のエラーでつながらない。
というときは、
$HOME\miniforge3\condabin\conda.bat create -n py39 python=3.9
インストーラーを信じて、各自環境にインストールして、環境変数の PATH に miniforge3 のパスを設定しないようにしたのに、正解の conda のパスを教えてくれないというイケズな公式。
たぶん、miniforge3 の下に PATH を通しまくったら動くとは思うけど、他の環境と混在しているときに動かんよとインストーラーで書かれているので、一番上の選択肢をチェックせずにインストールしたのに。
※ 2022/1/17現在、自分の環境では miniforge3\condabin\activate.bat ph39 してもなんだかうまく動いていない。。。とりえあず WSL2 とか python3 のインストーラーで py.exe で使うからいいのだけど、Tk 動かさねばなのでネイティブ環境要るのですよ。