服务器以前安装的 php7.0，最近开发任务中有部分插件，从 composer 安装提示需要 php7.2 的版本，才可以安装。
但是服务器的源里面没有 php7.2，最新的也就 7.0。添加 ppa 搞了一下。记录下步骤
安装 ppa 管理器
1
| apt-get install software-properties-common
|
如果已经安装了，可以省略这一步，如果不安装，在执行add-apt-repository命令时会提示sudo: add-apt-repository: command not found
添加 ppa 源，并更新源
1
2
| sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
|
升级 php
1
2
| sudo apt remove php7.0
sudo apt-get install php7.2
|
这样php7.2就安装上了。如果你希望保留老的版本，可以不执行sudo apt remove php7.0。
如果希望连同系统一起升级可以执行下面的命令，会连同系统和其他软件一起升级到最新版，只有php会升级到指定的7.2版本。（不建议使用下面的命令）
1
| sudo apt-get upgrade php7.2
|
扩展处理
升级了php7.2，还需要安装一下7.2的扩展比如mbstring，gd等执行如下命令安装就可以了
1
| sudo apt-get install php7.2-gd
|