"Gitpod" 将默认 PHP v7.4.3 降级为 7.1.3 或 7.2

"Gitpod" Downgrade default PHP v7.4.3 to 7.1.3 or 7.2

我遇到的错误是在 PHP 版本的 Gitpod 上,所以问题是,如何从工作区中完全删除 PHP 或替换它?基本上,我想降级它。

我想用旧版本替换 PHP。不幸的是,我无法摆脱 MySQL 工作区的默认 PHP 7.4 版。

我几乎尝试了所有在我的 .gitpod.Dockerfile 文件中删除它的方法。

我激活了功能预览以获得 sudo 支持,我通过 gitpod dockerfile 和 运行

卸载了每个 PHP 版本

sudo apt-get purge ‘php*’

在命令行中。它只是说没有安装PHP,但是

whereis php

仍然给我输出。

php -v

总是给我 PHP v7.4

安装另一个 php 版本是可能的(例如使用 brew),但如果不删除旧版本,我不知道如何使用新版本。

谁能告诉我,如何通过替换或其他方式降级“GITPOD”中的 PHP 版本?

编辑: 这是我尝试 运行:

的代码

FROM gitpod/workspace-mysql

USER root 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 RUN sudo a2dismod php7.4 RUN sudo systemctl restart apache2

USER gitpod

提前致谢。

此致

安装命令有问题。因为脚本在后台运行。

所以解决方案是运行下面的命令而不是运行apt-get install

install-packages php7.2

答案的详细信息可以在以下线程中找到:

Downgrade default PHP v7.4.3 to 7.1.3 or 7.2