1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-06 03:29:16 +01:00

9 Commits

Author SHA1 Message Date
Cristian Maglie
e80c085996 Use a specific hardware/package_index_bundled.json. AVR core version to 1.6.13
Previously, during the build, the full package_index.json was downloaded
and distributed with the Arduino IDE.
This lead to a situation where it was difficult to test new AVR cores
before publishing them to the public package_index.json.

Now the bundled AVR core is specificed in the file:
`hardware/package_index_bundled.json`
this index is loaded from the IDE at startup and the package_index.json
is overlayed on it.

This should also solve part of #5143 (Repeatable builds and snapshots of
package/library indexes)
2016-08-11 11:02:03 +02:00
Cristian Maglie
8d7ee63c70 Autoclose notification popup after 10 seconds. 2016-04-04 13:30:42 +02:00
Federico Fissore
a4a7e3ec96 Libraries in unknown categories get set as Uncategorized. Fixes #3732 2015-09-08 15:30:34 +02:00
Federico Fissore
0c7e0d6bb4 CustomProxySelector: auto proxy (PAC) needs login info too 2015-08-21 08:41:50 +02:00
Federico Fissore
708da3bd86 Introducing CustomProxySelector 2015-08-21 08:41:50 +02:00
Federico Fissore
2daf330c09 LibraryInstaller and ContributionInstaller are now singletons: members of Base, they get passed to dependents, thus allowing a synchronized method execution, needed to avoid race conditions when accessing files 2015-08-06 10:27:51 +02:00
Federico Fissore
f9612bcdbd Updatable boards support and libraries notification 2015-08-06 10:27:51 +02:00
Federico Fissore
59dfede5ac Libraries with a .development file in their root are flagged as "OnDevelopment".
This allows users to edit and save those libraries examples: they won't be flagged as read-only any more
2015-08-05 16:26:21 +02:00
Federico Fissore
43f33d8220 Tools marked as installed but missing (as when you want to use a system installed avr-gcc) sets to "" the final build preference. Fixes #3074 2015-07-09 15:16:19 +02:00