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