OK, “solucioné” eso. De alguna manera, el git checkout no hizo pull correctamente y estaba usando una extraña combinación antigua de imagen y configuración.
Volví a hacer pull, empezando de nuevo. Creo que ahora podré avanzar. Gracias.
1 me gusta