MikTeX プロキシ設定

Question

私のコンピュータはプロキシ サーバーを介してインターネットに接続します。そのユーザー名とパスワードはわかっていますが、MikTeX の設定でプロキシの詳細を入力する場所がどうしても見つかりません。TeX は新しいパッケージをその場で自動的にダウンロードしてインストールできないため、イライラします。

ご協力いただければ幸いです。

Answer 1

MikTeX の最新バージョンを使用していると想定します。

ステップ1: アップデートアプリケーションを開く

ステップ2: 「接続設定」をクリックします

ステップ3: 「プロキシサーバーを使用する」にチェックを入れ、詳細を入力します

Answer 2

現在のバージョンの MikTeX を単一ユーザー用にインストールした場合、Update (Admin)動作せず、MikTeX コンソールのみを使用できます。

この場合は、ドロップダウンに移動してUpdates選択します。そこに接続設定が隠されています。Change...Install from

Answer 3

使用するプロキシ サーバーを選択できる接続設定ウィンドウで、先頭の を除いてプロキシ サーバーの URL を入力しますhttp://。少なくとも私の場合はこれでうまくいきました。

Answer 4

MikTex は、サーバーに接続できない場合でも、地理的にユーザーに最も近いサーバーを自動的に選択します。Rüdiger Voigt の回答のステップ 3 で、アドレスを空白のままにして「OK」を押してから「次へ」ボタンを押すと、MikTex はサーバー リストを表示し、ユーザーはそこから使用するサーバーを手動で割り当てることができることを偶然知りました。