arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-12 01:53:07 +03:00
Code Activity

Add script to merge boards manager packages

Browse Source
This commit is contained in:
Ivan Grokhotkov
2015-11-17 15:41:41 +03:00
parent 39cf5d6cd6
commit 16a2cdcf41
2 changed files with 63 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/get.py
View File

@ -1,7 +1,7 @@
#!/usr/bin/env python
# This script will download and extract required tools into the current directory
# Tools list is obtained from tools.json file
# Written by Ivan Grokhotkov, 2015
# This script will download and extract required tools into the current directory.
# Tools list is obtained from package/package_esp8266com_index.template.json file.
# Written by Ivan Grokhotkov, 2015.
#
from __future__ import print_function
import urllib