From 6a618b0f332606fd2a75f8398da2c69ef352e47d Mon Sep 17 00:00:00 2001 From: Alexandre Aubin Date: Wed, 16 Sep 2020 15:24:09 +0200 Subject: [PATCH] Use php7.3 by default in CLI --- data/hooks/conf_regen/10-apt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/data/hooks/conf_regen/10-apt b/data/hooks/conf_regen/10-apt index 4ce838e4c..5446c262c 100755 --- a/data/hooks/conf_regen/10-apt +++ b/data/hooks/conf_regen/10-apt @@ -18,6 +18,9 @@ Pin-Priority: -1" >> "/etc/apt/preferences.d/extra_php_version" do_post_regen() { 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}