al1fch:
Bonsoir Artoustemême constat pour moi ,
seule façon de mettre à jour les outils ESP32/Arduino , effacer et réinstaller en suivant la procédure décrite pour chaque système d'exploitation sur le Github
(Sous W10 aucune réeussite en tentant la mise à jour avec GITGui selon la procédure indiquée)pas encore rencontrée de pb avec l'exemple Serial Bluetooth Classic
Bonsoir Al1
Je m'etais déjà fais avoir sous w7 avec laprocedure fetch from origin
Je me suis rappelé que la solution radicale avait été la reinstall apres suppression du dossier esp32.