arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-15 00:02:49 +03:00
Code Activity

Clean tools key of obsolete version on next release (#6258)

Browse Source 
Fixes #6068

Drop from the tools key all version:"1.20.0-26-gb404fb9" entries (which
were pre-2.0.0 and whose entry in platform versions was deleted on last
release).
This commit is contained in:
Earle F. Philhower, III
2019-07-15 20:45:29 -07:00
committed by GitHub
parent 3cc64f7877
commit 29bedfa842
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
package/drop_versions.py
View File

@ -4,12 +4,13 @@
from __future__ import print_function
import json
import sys
from collections import OrderedDict
def load_package(filename):
if filename == "-":
pkg = json.load(sys.stdin)['packages'][0]
pkg = json.load(sys.stdin, object_pairs_hook=OrderedDict)['packages'][0]
else:
pkg = json.load(open(filename))['packages'][0]
pkg = json.load(open(filename), object_pairs_hook=OrderedDict)['packages'][0]
print("Loaded package {0} from {1}".format(pkg['name'], filename), file=sys.stderr)
print("{0} platform(s), {1} tools".format(len(pkg['platforms']), len(pkg['tools'])), file=sys.stderr)
return pkg