そこで、7.1.1 から 7.1.17 にアップデートしようとしています。以下を実行しました:
sudo apt-get install php7.1
そして7.1.17-1+ubuntu16.04.1+deb.sury.org+1
私が走ったとき
php -v
ターミナルに が表示されますPHP 7.1.1-1+deb.sury.org
。私は nginx で構成された Digital Ocean を使用しています。サーバーを再起動し、nginx を再起動しましたが、うまくいきませんでした。
答え1
OK、実行しました:
sudo apt-get install php7.1 php7.1-common
最新バージョンに更新されました。