No puedo descargar tarjeta ESP82 [Solucionado]

Saludos

No sé si este es el lugar correcto para preguntarlo, pero no logro que el gestor de tarjetas me muestre o permita descargar esta tarjeta

Yo no tengo una versión instalada, me la abrí desde el comprimido en Linux, por si ayuda en algo

Gracias

¿Tony al final cual fue el problema, abrir la IDE desde la carpeta descomprimida sin correr previamente install.sh o te faltó cargar la URL en las preferencias?
Solo por curiosidad.

Que no sabía que tenía que poner una url adicional para descargar tarjetas y que aún no me aclaro con platformio pero encontré ese artículo que me ayudó, pensé que podía añadirla sin más, de momento haber descargado el IDE en vez de instalarlo ha sido la mejor idea para Ubuntu, lo tengo bien unido a VSC, en Windows aún no, pero ya voy comprendiendo la belleza de platformio aunque aún no lo hago funcionar, es más flexible que el IDE

Igual la instalación en Ubuntu es más bien cosmética, crea el acceso del escritorio, asocia los .ino y nada más, creo, la verdad, no encontré ningún otro cambio evidente.
Tendría que revisar el install pero es muy largo. Jaja

Si hace demasiado, parte en varios repertorios todo el IDE