Allow listing other boards in boards manager#3055

Merged

ffissore merged 12 commits intoarduino:masterfrom

ffissore:other-packages

May 4, 2015

Commits on May 4, 2015

ContributionIndexer now loads and merges content of files named package_SOMETHING_index.json
Federico Fissore
committed
Introducing GPG signature verification when loading main package_index file
Federico Fissore
committed
Copying bundled signature file if missing from user's preferences folder
Federico Fissore
committed
Bundled package and library index: downloading gzipped json files at build time
Federico Fissore
committed
Boards Manager: downloading additional files as specified in preference 'boardsmanager.additional.urls'
Federico Fissore
committed
Boards Manager: index was updated twice. Fixed
Federico Fissore
committed
Boards Manager: package index file with name starting with "test_package_" are preserved
Federico Fissore
committed
Boards Manager: platforms listed in non-signed package index files goes under "Contributed" category
Federico Fissore
committed
Boards/Library Managers: package and library index files get downloaded at build time even when building a "light bundle"
Federico Fissore
committed
ContributionInstaller: downloadIndex -> download
Federico Fissore
committed
Boards Manager: additional URLs may be specified from File > Preferences
Federico Fissore
committed
Lots of unclosed input and output streams now properly closed. They were preventing Boards Manager from working on Windows
Federico Fissore
committed