Jan 15, 2015 Tag: Computing
Will be updated as needed.
Updated on Jun 15, 2018
Overview:
See PPA description. Add sources:
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
Rough notes about the steps:
sudo apt-get update
sudo apt-get upgrade --dry-run
# inspect
apt-cache pkgnames | sort | grep php7
# brutally install all
apt-cache pkgnames | sort | grep php7 | \
xargs sudo apt-get install --no-install-recommends --yes
# remove packets php7.x-snmp
cd /etc/apache2/mods-available
ls -la | grep fastcgi
# -rw-r--r-- 1 root root 154 Jul 13 2013 fastcgi-000.conf
# -rw-r--rw- 1 root root 1689 Feb 21 15:05 fastcgi.conf
# -rw-r--r-- 1 root root 66 Jul 13 2013 fastcgi.load
# edit /etc/apache2/mods-available/fastcgi.conf
sudo service apache2 restart
/usr/bin/php7.0 -v
/usr/bin/php7.1 -v
/usr/bin/php7.2 -v
# stat services
{sudo service --status-all 2>&1 } | grep php
# stat services
{sudo service --status-all 2>&1 } | grep php | grep "\[ + \]"
# settings for php.ini:
# max_execution_time = 360
# max_input_vars = 2000
# memory_limit = -1
# memory_limit = 384M
# post_max_size = 20M
# upload_max_filesize = 20M
# xdebug.max_nesting_level=400
sudo gedit /etc/php/7.0/cli/php.ini
sudo gedit /etc/php/7.1/cli/php.ini
sudo gedit /etc/php/7.2/cli/php.ini
sudo gedit /etc/php/7.0/fpm/php.ini
sudo gedit /etc/php/7.1/fpm/php.ini
sudo gedit /etc/php/7.2/fpm/php.ini