Downloading and installing the new Arduino IDE for ESP8266

Moderator: igrr

User avatar
By Tomas309
#82036 Hello,

I want to install the ESP library to the arduino IDE in work. I have there proxy restrictions and i cannot download it via the library manager in the IDE.
But I can download anything i want. Only most of the programs have the restriction. Is there a way to download it from git and install it manually? :?:

I don't want to download it home and make a portable installation.
Thank you for your time and advice