我从大学代理服务器访问Internet。因此，当我将一个apt-repository添加为sudo add-apt-repository ppa:nilarimogard/webupd8时，我收到一条错误消息
Cannot add PPA: 'ppa:~webupd8team/ubuntu/atom'.
ERROR: '~webupd8team' user or team does not exist.
在Ubuntu 16.04上，我曾经禁用代理设置并连接到移动网络，然后添加存储库。
当我在Ubuntu 18.04上执行相同操作时，它显示0% [Connecting to 172.16.2.30 (172.16.2.30)] [Connecting to 172.16.2.30 (172.16.2.30)] [Connecting to 172.16.2.30 (172.16.2.30)]，其中172.16.2.30是代理地址。即使禁用代理设置，它也会显示上面的行。如何添加apt存储库？