How to manually update packages?

[xC0000005]

In #491, it's mentioned we'll need to manually update our packages (I have my repo symlinked to the Arduino folder so I can pull updates in directly). I see where the CMSIS / GCC pacakages are. Is there any guide to where they should be put or unzipped?

[fpistm]

You can use the dev branch of the BoardManagerFiles repo:
https://github.com/stm32duino/BoardManagerFiles/raw/dev/STM32/package_stm_index.json
And then symlink again

[fpistm]

Is it ok @xC0000005 ?

[xC0000005]

Yes sir. Worked just fine, thank you.

…

On Apr 9, 2019, at 10:31 PM, Frederic Pillon ***@***.***> wrote: Is it ok @xC0000005 ? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.