For ESP6288 I had to use the path ~/.arduino15/packages/esp8266/hardware/esp8266/3.0.2 for putting platform.local.txt Maybe interesting for some.