Use php7.3 by default in CLI

This commit is contained in:
Alexandre Aubin 2020-09-16 15:24:09 +02:00
parent 15a7967f47
commit 6a618b0f33

View file

@ -18,6 +18,9 @@ Pin-Priority: -1" >> "/etc/apt/preferences.d/extra_php_version"
do_post_regen() { do_post_regen() {
regen_conf_files=$1 regen_conf_files=$1
# Make sure php7.3 is the default version when using php in cli
update-alternatives --set php /usr/bin/php7.3
} }
FORCE=${2:-0} FORCE=${2:-0}