Al instalar Ubuntu u otra distro, comprobar que está desinstalado el programa brltty, que impide el uso de los puertos serie por el IDE:

sudo apt remove brltty

Hay que dar permisos para el uso de los puertos al usuario:

sudo usermod -a -G dialout <username>

En Arduino IDE, añadir al gestor de URL adicionales la dirección donde descargar el manejador de las placas ESP8266:

http://arduino.esp8266.com/stable/package_esp8266com_index.json