Como adicionar o esp8266 na ide do arduino no Ubuntu

boa noite tudo bem gostaria de saber como adiciono o esp8266 na ide do arduino nu ubunto

Que tal isso

?

acho que o procedimento é o mesmo independente do sistema operacional
https://www.robocore.net/tutoriais/programando-o-esp8266-pela-arduino-ide