在 Vagrant 中更改 PHP 版本

在使用 Vagrant 环境进行本地开发时，可能需要更改 PHP 版本以满足项目需求或测试新版本的 PHP。本文将介绍如何在 Vagrant 中更改 PHP 版本。

步骤一：添加 PPA 存储库

为了更方便地更改 PHP 版本，我们可以使用 Ondřej Surý 维护的 PPA 存储库。首先需要在 Vagrant 虚拟机中添加该存储库：

sudo add-apt-repository ppa:ondrej/php

步骤二：更新软件包列表

添加存储库后，需要更新软件包列表：

sudo apt-get update

步骤三：安装新版本的 PHP

安装指定版本的 PHP：

sudo apt-get install php7.2

请根据你的需要替换上述命令中的版本号。

步骤四：切换 PHP 版本

在安装新版本的 PHP 后，需要切换到该版本。可使用以下命令：

sudo update-alternatives --set php /usr/bin/php7.2

步骤五：重启 PHP FPM

如果在 Vagrant 中使用了 PHP FPM（FastCGI 进程管理器），则需要重启该服务才能使更改生效：

sudo service php7.2-fpm restart

总结

本文介绍了如何在 Vagrant 中更改 PHP 版本，包括添加 PPA 存储库、更新软件包列表、安装新版本的 PHP、切换 PHP 版本以及重启 PHP FPM 等步骤。希望对你有所帮助。