Мой компьютер подключается к Интернету через прокси-сервер, для которого у меня есть имя пользователя и пароль, но я не могу найти место в настройках MikTeX, чтобы ввести данные прокси. Это раздражает, потому что TeX не может автоматически загружать и устанавливать новые пакеты на лету.
Любая помощь будет оценена по достоинству.
решение1
Я предполагаю, что вы используете новейшую версию MikTeX.
Шаг 1: Откройте приложение «Обновление».
Шаг 2: Нажмите «Настройки подключения».
Шаг 3: отметьте галочкой «Использовать прокси-сервер» и введите данные.
решение2
Если установить текущую версию MikTeX для одного пользователя, Update (Admin)это не сработает, можно будет использовать только MikTeX Console.
В этом случае перейдите Updatesи выберите Change...в Install fromраскрывающемся списке. Там и спрятаны настройки подключения.
решение3
В окне настроек подключения, где можно выбрать прокси-сервер для использования, напишите URL прокси-сервера, но без http://в начале. По крайней мере, это сработало для меня!
решение4
MikTex автоматически выберет сервер, который геологически ближе всего к пользователям, даже если сервер не может быть подключен. Я случайно обнаружил, что на шаге 3 в ответе Рюдигера Фойгта, если нажать «ОК», оставив адрес пустым, а затем нажать кнопку «Далее», MikTex предложит вам список серверов, из которого пользователи могут вручную назначить, какой из них использовать.
