我在一台(Windows)机器上下载并安装了最精简的 TeXLive 2023。现在,我想安装一堆软件包。但是 - 这台机器位于一个相当严格的防火墙后面,并且代理设置并不简单。当我使用 tlmgr GUI 时,它会尝试更新软件包列表而超时。从命令行(以管理员身份使用 PowerShell),我得到:
PS C:\texlive\2023\bin\windows> .\tlmgr.bat update --self --all
C:\texlive\2023\texmf-dist\scripts\texlive\tlmgr.pl: TLPDB::from_file could not initialize from: https://mirrors.mit.edu/CTAN/systems/texlive/tlnet/tlpkg/texlive.tlpdb
C:\texlive\2023\texmf-dist\scripts\texlive\tlmgr.pl: Maybe the repository setting should be changed.
C:\texlive\2023\texmf-dist\scripts\texlive\tlmgr.pl: More info: https://tug.org/texlive/acquire.html
我可以/应该做什么才能获得更新的软件包列表,或者手动下载和安装一些软件包?