我面临的错误是在带有PHP版本的Gitpod上，所以问题是，如何从工作区中完全删除PHP或替换它？基本上，我想降级它。
我想用旧版本替换 PHP。不幸的是，我无法摆脱MySQL工作区的默认PHP版本7.4。
我尝试了几乎所有在我的 .gitpod 中删除它的风格。Dockerfile 文件。
我激活了功能预览以获得 sudo 支持，我通过 gitpod dockerfile 卸载了每个 PHP 版本并运行
sudo apt-get purge 'php*'
在命令行中。它只是说没有安装PHP，但是
哪里是 php
仍然给我输出。
php -v
总是给我PHP v7.4
安装另一个 php 版本是可能的(例如使用 brew)，但不删除旧版本，我不知道如何使用新版本。
有人可以告诉我，我如何通过替换它或其他方式在"GITPOD"中降级这个 PHP 版本？
编辑： 这是我尝试运行的代码：
FROM gitpod/workspace-mysql
用户根目录 RUN sudo add-apt-repository ppa：ondrej/php 运行 sudo apt-get -y 更新 RUN sudo apt-get -y install php7.2 运行 sudo update-alternatives --set php/usr/bin/php7.2 RUN sudo a2dismod php7.4 RUN sudo systemctl restart apache2
用户 gitpod
提前谢谢。
此致敬意
问题是安装命令。 因为在后台运行的脚本。
因此，解决方案正在运行以下命令，而不是运行apt-get安装
安装包 php7.2
答案的详细信息可以在以下线程中找到：
将默认 PHP v7.4.3 降级到 7.1.3 或 7.2