The teensy_debug installation python script cannot find the right place to put things in an Arduino IDE 2.x installation. I have hacked it to put most things in the right places under ~/.arduino15/. However I am stuck on where to put boards.local.txt and platform.local.txt.

I have tried ./packages/teensy/hardware/avr/boards.local.txt ./packages/teensy/hardware/avr/1.57.2/boards.local.txt, but neither places seem to work. Has anyone got any suggestions on where the should go. The documentation seems vague on this point.