Dvd library manager error updating file
To use the additional libraries, you will need to install them.To install a new library into your Arduino IDE you can use the Library Manager (available from IDE version 1.6.2).
When you want to add a library manually, you need to download it as a ZIP file, expand it and put in the proper directory.
The same happens for the libraries present in additional cores installations.
It is also important to note that the version of the library you put in your sketchbook may be lower than the one in the distribution or core folders, nevertheless it will be the one used during compilation.
When you select a specific core for your board, the libraries present in the core’s folder are used instead of the same libraries present in the IDE distribution folder.
Last, but not least important is the way the Arduino Software (IDE) upgrades itself: all the files in Programs/Arduino (or the folder where you installed the IDE) are deleted and a new folder is created with fresh content.