MiKTeX 随机存储库总是选择一个离线的存储库

MiKTeX 随机存储库总是选择一个离线的存储库

我在 Windows 10 上使用 MiKTeX 2.9.7429,当我尝试在互联网上更新软件包时,由于某个存储库服务器已关闭而失败。好的,可以等待服务器恢复,但我的观点是,MiKTeX 控制台只允许我在其配置中设置“随机存储库”,尽管它显然没有随机化任何东西(它总是尝试连接到同一个有问题的服务器)。除此之外,我认为我应该有办法手动选择服务器(我很确定我最近能够做到这一点,但更新后这不再是一个选项)。这个惊人的项目发生了什么?

相关内容