ESP8266 Community Forum

As the ESP8266 support is done by getting a json from the net, I presume it is not possible to modify any of the library source files, like you can with the AVR libraries which on the local disk?

The libraries are able to be modified. Yu just have to find the folder.

If you installed using the boards manager and are on windows you will be able to go to
C:\Users\**user name **\AppData\Roaming\Arduino15\packages\esp8266\hardware\esp8266\***build number**\libraries
and find the files.

C:\Users\**user name **\AppData\Roaming\Arduino15\packages\esp8266\hardware\esp8266\***build number**\libraries
This feature can be described as oozing. Essential fIles are placed outside of the Arduino folder and it can lead to backup issues and complicate the ability to move an environment from one computer to another. The files ooze into other folders without the owners express permission to do so. It is a free feature of Windows.
Arduino IDE attempts to address this at times unpleasant oozing.
If you place an empty folder named Portable inside your Arduino folder then Arduino's IDE will try to prevent oozing and keep things within the Arduino folder.
Sure if you have several users on a single PC or a server, the oozed version using
C:\Users\**user name **\AppData\Roaming\Arduino15\packages\esp8266\hardware\esp8266\***build number**\libraries may have advantages.

Never thought of looking there

Thanks for the tip.