$ php -v
PHP 7.0.33-30+0~20200807.37+debian10~1.gbp047872 (cli) (built: Aug 7 2020 15:04:50) ( NTS )
Copyright © 1997-2017 The PHP Group
Zend Engine v3.0.0, Copyright © 1998-2017 Zend Technologies
with Zend OPcache v7.0.33-30+0~20200807.37+debian10~1.gbp047872, Copyright © 1999-2017, by Zend Technologies
Ho, intéressant !
Car tout se bazar est concomitant à la désinstallation de php7.0…
Si je regarde les reliquats de php7.0 :
$ sudo dpkg --list | grep php7.0
ii php7.0-cli 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-common 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-curl 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-fpm 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-gd 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-intl 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-json 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-ldap 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-mbstring 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-mcrypt 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-mysql 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-opcache 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-readline 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
ii php7.0-xml 7.0.33-30+0~20200807.37+debian10~1.gbp047872 armhf
rc php7.0-zip 7.0.33-26+0~20200320.33+debian9~1.gbp746b8e armhf
On voit que pour cURL et ldam et d’autres, seuls les fichiers de config sont présents (cf les “rc”)
Je vois deux solutions potentielles :
- réinstaller les paquets php7.0 manquants (php7.0-curl, php7.0-ldap, …) : bof !
- me débrouiller pour que le système finisse de basculer sur php7.3 : mais comment ?