ESP8266 Community Forum

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

It is possible? Can't you advise me?

Hello, Tomas309!
I have the same problem with install. May be my method will help you. My PC has Proxy and Arduino can't download json script http://arduino.esp8266.com/stable/packa ... index.json.
1. So, I opened it in web browser, found link to file "esp8266-2.5.2.zip" in script text and I downloaded it.
2. In next step I opened Arduino folder ("H:\PortableApps\arduino-1.8.9" - I downloaded IDE in zip format from Arduino web, so it look like portable), in this folder I created folder with name "Portable".
3. I opened the Arduino IDE (H:\PortableApps\arduino-1.8.9\arduino.exe). In our new folder we can see new files:
preferences.txt and another. File "preferences.txt" is our users settings. If you already used Arduino IDE before this manipulations, you can find "preferences.txt" in system folder "C:\Users\"USERNAME"\AppData\Local\Arduino15\" and copy it to new folder "Portable". Attention! please close Arduino IDE then do this step!
4. I went to File/Preferences – in Preferences window went to “additional boards manager URL’s” where you need to paste the following link: https://adafruit.github.io/arduino-boar ... index.json
5. Next I opened Board manager and tried to download some thing, but I had got a chanse to see just error with text: I cannot download file.....and file name. So I opened json script http://arduino.esp8266.com/stable/packa ... index.json in web browser and found this file, download it and copy to folder "H:\PortableApps\arduino-1.8.9\Portable\staging\packages\". Next I click on button Instal in Board manager. Next Board manager displayed me next error with new file name. I found and downloaded them one by one.
So I have Windows 7 x64 and I downloaded and copy next files:
https://github.com/esp8266/Arduino/rele ... -2.5.2.zip
https://github.com/earlephilhower/esp-q ... fefeac.zip
https://github.com/earlephilhower/esp-q ... ed2b9c.zip
https://github.com/earlephilhower/esp-q ... in32v2.zip
6. Next I click on button Instal in Board manager and it installed them.
Now I see new ESP boards in Board manager.
I hope this steps will be helpful for you.
Have a good day and excellent mood

Hello again
I had problem with compilation after my steps and I re install all packages. Ok, at first you need download all packages. I wrote about them at last message. Then open Arduino IDE / Board manager and do step #6. You need wait to ending installation.