我想使用 ondrej ppa 升级 ubuntu 服务器中的 php 版本。我已连接到互联网。
sudo apt-get install python-software-properties
sudo add-apt-repository ppa:ondrej/php
我尝试并得到一个错误：
Cannot add PPA: 'ppa:ondrej/ubuntu/php'
'ondrej' user or team does not exist
我尝试-E在命令中使用，错误是相同的。
关于代理设置，我不太明白。我不知道如何根据这里的答案调整设置
我也尝试过这个：
RUN apt-get -y install locales
RUN locale-gen en_US.UTF-8
ENV LANG en_US.UTF-8
ENV LANGUAGE en_US:en
ENV LC_ALL en_US.UTF-8
RUN add-apt-repository -y ppa:ondrej/php
但结果是一样的，报错无法添加ppa:ondrej
谢谢