我决定安装 Ubuntu 20.04 并尝试一下。到目前为止，我很喜欢它，但我遇到了一个可能阻止我使用它的问题。
默认存储库有 PHP 7.4，这很棒，但是对于我花费 90% 的时间开发的项目，我需要 7.2 或 7.3。
我以前使用过 ondrej/php PPA（主要是为了获取比旧版本更新的 PHP 版本），但它似乎无法在此版本上运行。是我遗漏了什么吗？还是这里有人知道如何让它运行？
添加 PPA 似乎成功了，但即使更新了存储库，我也无法安装甚至查看旧版 PHP。添加存储库后，中没有新条目/etc/apt/sources.list，但我不确定 PPA 是否添加到那里。
我非常感谢所有能给我帮助的人。谢谢。