Re: Boards manager additional URLs
Is there any guide or some further information on this topic yet? I understand that this feature was somewhat shoehorned in for this release, but as there are already efforts to collect third party URLs and requests by the general public to support this new feature, it would be nice to know exactly what information can/should/must be represented in the JSON file, what information goes where in the archive file (and what archive formats are supported - I see at least zip and tar.bzip), and what some limitations are.
For example, when I first tried testing this, the Arduino IDE kept suggesting that it could not download the .json file at all - even though the file was readily accessible. Moving it over to github solved the issue - but I don't know if that was an http vs https issue or some other cause. At some point I even managed to get the Arduino IDE to fail to start up (splash screen would appear and disappear).
For the record, I did check the following for information: - http://blog.arduino.cc/2015/05/07/arduino-ide-1-6-4-released/ - https://github.com/arduino/Arduino/blob/1.6.4/build/shared/revisions.txt - http://permalink.gmane.org/gmane.comp.hardware.arduino.devel/5358
To no particular avail. If I have completely missed a page describing these, feel free to hit me with a cluebat. If trawling through the source code is the way to go, that's also somewhat acceptable :)
As an aside: will the library manager get much the same overhaul? I noticed one of the examples has its libraries (and example files, etc.) included in its Board Manager package; I haven't checked if that works, but if it does.. is that the way we should be doing it, or should we still manually submit libraries for inclusion in the crawler?