Skip to content

Instantly share code, notes, and snippets.

@jcicero518

jcicero518/phpupdate.sh

Last active January 6, 2023 20:22
Show Gist options
  • Save jcicero518/8d39d2dbf25a1d5303a76c09df1238ea to your computer and use it in GitHub Desktop.
Save jcicero518/8d39d2dbf25a1d5303a76c09df1238ea to your computer and use it in GitHub Desktop.
Download ZIP
Changing current PHP version in Vagrant / Ubuntu
Raw
phpupdate.sh
sudo update-alternatives --config php
There are 8 choices for the alternative php (providing /usr/bin/php).
Selection Path Priority Status
------------------------------------------------------------
0 /usr/bin/php8.1 81 auto mode
1 /usr/bin/php5.6 56 manual mode
2 /usr/bin/php7.0 70 manual mode
3 /usr/bin/php7.1 71 manual mode
4 /usr/bin/php7.2 72 manual mode
5 /usr/bin/php7.3 73 manual mode
* 6 /usr/bin/php7.4 74 manual mode
7 /usr/bin/php8.0 80 manual mode
8 /usr/bin/php8.1 81 manual mode
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment