无法通过公司代理将 PPA deadsnakes 添加到 ubuntu 18.04

无法通过公司代理将 PPA deadsnakes 添加到 ubuntu 18.04

当我尝试在公司网络内将 ppa 存储库添加到 Ubuntu 时

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 工作也在公司网络内进行。

下列的https://stackoverflow.com/questions/75557686/cannot-add-ppa-deadsnakes-to-ubuntu-18-04-behind-company-proxy 我尝试过:sudo apt-get install --reinstall ca-certificates 使用 export HTTPS_PROXY=http://@123.456.789.10:81 设置环境变量然后运行sudo -E add-apt-repository ppa:ppaname/ppa但我收到相同的错误

答案1

或者,只需将以下两行放入文件中,/etc/apt/sources.list.d/例如/etc/apt/sources.list.d/deadsnakes.list

deb https://ppa.launchpadcontent.net/deadsnakes/ppa/ubuntu bionic main 
deb-src https://ppa.launchpadcontent.net/deadsnakes/ppa/ubuntu bionic main 

然后添加 gpg 密钥。

apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys F23C5A6CF475977595C89F51BA6932366A755776

相关内容