将php版本从php56切换到php71

Question

我想让php7.1安装php-gmp扩展。

我将PHP5.6升级为PHP7.1。我尝试安装PHP扩展( PHP )，然后PHP版本被降级为php5.6。

$ php -v
PHP 5.6.30 (cli) (built: Feb  7 2017 16:18:37)
Copyright (c) 1997-2016 The PHP Group
Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies

我试着链接回php7.1

~ brew link php71                             
5 10:06:43 2018 Warning: Already linked: /usr/local/Cellar/php71/7.1.13_24 To 
relink: brew unlink php71 && brew link php71

-Than I取消链接php5.6

 $ brew unlink php56
Error: No such keg: /usr/local/Cellar/php56

-I尝试重新安装php7.1

$ brew install php71
==> Installing php71 from homebrew/php
Error: php71 7.1.13_24 is already installed
To upgrade to 7.1.14_25, run `brew upgrade php71`

-I显示php路径

$ which php
/usr/bin/php
$ cd /usr/bin/php
cd: '/usr/bin/php' is not a directory

-if我走到这条路上，它显示了v7.1。但不是和作曲家合作

usr/local/opt/php71/bin/php -v                                                
PHP 7.1.13 (cli) (built: Jan  5 2018 15:30:29) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies

Answer 1

我通过在终端配置中设置路径来解决问题。

-In fish，我以这种方式在~/..config/fish/config.fish中设置了路径：

set -gx PATH /usr/local/opt/php71/bin $PATH

-In碱基

export PATH="$(brew --prefix homebrew/php/php71)/bin:$PATH"