使用需要在Ubuntu 18.04上具有代理的互联网连接到服务器

Question

我正在尝试连接到服务器。首先，我使用ssh使用我的移动数据连接到服务器，效果很好。但是现在我必须使用我的大学提供的需要代理的互联网，但是我无法连接服务器。我已经为计算机和终端设置了代理。