我面临的错误是在 Gitpod 上使用 PHP 版本，所以问题是，如何从工作区中完全删除 PHP 或替换它？基本上，我想降级它。
我想用旧版本替换 PHP。不幸的是，我无法摆脱 MySQL 工作区的默认 PHP 7.4 版。
我尝试了几乎所有在我的 .gitpod.Dockerfile 文件中删除它的方式。
我激活了功能预览以获得 sudo 支持，并通过 gitpod dockerfile 卸载了每个 PHP 版本并运行
sudo apt-get purge 'php*'</p>
在命令行中。它只是说没有安装 PHP，但是
php在哪里
仍然给我输出。
php -v
总是给我 PHP v7.4
安装另一个 php 版本是可能的（例如使用 brew），但不删除旧版本，我不知道如何使用新版本。
有人可以告诉我，如何通过替换或其他方式降级“GITPOD”中的这个 PHP 版本？
编辑：这是我试图运行的代码：
来自 gitpod/workspace-mysql
用户根 RUN sudo add-apt-repository ppa:ondrej/php RUN sudo apt-get -y update RUN sudo apt-get -y install php7.2 RUN sudo update-alternatives --set php /usr/bin/php7.2运行 sudo a2dismod php7.4 运行 sudo systemctl restart apache2
用户 gitpod
提前致谢。
此致