Ubuntu 20.04添加mosquitto PPA报错~mosquitto-dev用户/团队不存在

• 运行环境：Ubuntu 20.04.4 LTS
• 操作目的：添加mosquitto PPA源以安装最新版本mosquitto（当前系统默认apt源可直接安装官方源内置的旧版本）
• 执行命令：sudo apt-add-repository ppa:mosquitto-dev/mosquitto-ppa
• 报错输出：

$ sudo apt-add-repository ppa:mosquitto-dev/mosquitto-ppa
Cannot add PPA: 'ppa:~mosquitto-dev/ubuntu/mosquitto-ppa'.
ERROR: '~mosquitto-dev' user or team does not exist.

• 已排查项：网络可正常通过wget访问google.com，apt默认源安装软件无异常，仅无法ping通google.com；尝试追加-E参数保留当前用户环境变量执行添加命令，报错完全一致。

该报错并非PPA源不存在，是apt-add-repository底层调用Launchpad接口校验PPA归属时，没有继承系统全局网络/代理配置，导致接口请求失败，误返回用户/团队不存在的错误。

按顺序操作即可：

1. 先补全相关依赖，修复基础组件证书、接口调用能力

sudo apt update
sudo apt install -y ca-certificates python3-launchpadlib software-properties-common

2. 显式指定网络配置执行PPA添加命令，若本地有可用代理，将下方命令里的代理端口替换为实际端口即可；无代理环境可直接跳过该步

sudo HTTP_PROXY=http://127.0.0.1:替换为实际代理端口 HTTPS_PROXY=http://127.0.0.1:替换为实际代理端口 add-apt-repository ppa:mosquitto-dev/mosquitto-ppa

3. 若上述操作仍报错，直接手动写入PPA源配置，绕过apt-add-repository的接口校验逻辑

• 导入PPA对应的GPG公钥

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 262C750E7733A741695F5B6D61611AE430993623

• 写入源配置文件

echo "deb http://ppa.launchpad.net/mosquitto-dev/mosquitto-ppa/ubuntu focal main" | sudo tee /etc/apt/sources.list.d/mosquitto-ppa.list

4. 更新软件索引后安装最新版mosquitto

sudo apt update
sudo apt install -y mosquitto mosquitto-clients

安装完成后执行mosquitto -v，若返回版本号高于默认源提供的2.0.11版本，即表示安装成功。

内容的提问来源于stack exchange，提问作者shreyas_patel21