Ubuntu 18.04 公司代理网络下无法添加 deadsnakes PPA 的问题求助

大家好，我碰到了一个头疼的问题，想请各位帮忙看看：

在公司内网的Ubuntu 18.04系统中，我尝试执行以下命令添加deadsnakes的PPA仓库：

sudo add-apt-repository ppa:deadsnakes/ppa

结果却收到了报错信息：

Cannot add PPA: 'ppa:~deadsnakes/ubuntu/ppa'.
ERROR: '~deadsnakes' user or team does not exist

这个命令在公司外网环境下是完全正常的，所以我推测问题出在代理设置上。

目前我已经针对apt-get配置了代理，在对应的配置文件里添加了以下内容：

Acquire {
HTTP::proxy "http://123.456.789.10:81/";
HTTPS::proxy "http://123.456.789.10:81/";
}

现在sudo apt install这类命令在公司内网都能正常运行，没有问题。

之后我还尝试了这些方法，但都没能解决问题：

• 重新安装CA证书：sudo apt-get install --reinstall ca-certificates
• 设置HTTPS代理环境变量：export HTTPS_PROXY=http://@123.456.789.10:81
• 使用sudo -E add-apt-repository ppa:deadsnakes/ppa命令执行，保留当前用户的环境变量，但还是出现同样的报错

有没有大佬知道还有什么其他方法可以解决这个问题？

备注：内容来源于stack exchange，提问作者Eliseo Di Folco