实验室服务器通常连接校园网，有时 443 端口被限制，导致无法访问外部网站。为了解决这个问题，我们可以在本地机器上设置一个代理服务器，并通过 SSH 隧道将其转发到远程服务器。