projects
/
web
/
firmware-selector-openwrt-org.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
80b6252
)
misc/collect.py: do not upper case the release name
author
Moritz Warning
<moritzwarning@web.de>
Sun, 13 Sep 2020 12:20:29 +0000
(14:20 +0200)
committer
Moritz Warning
<moritzwarning@web.de>
Sun, 13 Sep 2020 12:39:40 +0000
(14:39 +0200)
misc/collect.py
patch
|
blob
|
history
diff --git
a/misc/collect.py
b/misc/collect.py
index 26b9876b8ee8abb805f0ca02b4cc331f085ea403..5425504a3d8f53ef8676993d5483a71844c5d811 100755
(executable)
--- a/
misc/collect.py
+++ b/
misc/collect.py
@@
-147,7
+147,7
@@
def scrape(args):
else:
json.dump(output, outfile, sort_keys=True)
else:
json.dump(output, outfile, sort_keys=True)
- versions[release
.upper()
] = "data/{}/overview.json".format(release)
+ versions[release] = "data/{}/overview.json".format(release)
update_config(config_path, versions)
update_config(config_path, versions)
@@
-192,7
+192,7
@@
def scrape_wget(args):
if len(profiles) == 0:
continue
if len(profiles) == 0:
continue
- versions[release
.upper()
] = "data/{}/overview.json".format(release)
+ versions[release] = "data/{}/overview.json".format(release)
output = merge_profiles(
profiles, "https://{}/targets/{{target}}".format(base)
output = merge_profiles(
profiles, "https://{}/targets/{{target}}".format(base)
@@
-269,7
+269,7
@@
def scan(args):
if len(profiles) == 0:
continue
if len(profiles) == 0:
continue
- versions[release
.upper()
] = "data/{}/overview.json".format(release)
+ versions[release] = "data/{}/overview.json".format(release)
output = merge_profiles(
profiles, "https://{}/{}/targets/{{target}}".format(args.domain, base_dir)
output = merge_profiles(
profiles, "https://{}/{}/targets/{{target}}".format(args.domain, base_dir)