blob: 0cfa007d1b2711754167909ffee7004632cdd13c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#!/usr/bin/env python
import json
import os
import sys
import logging as log
log.basicConfig(level=log.INFO, format='%(levelname)s: %(message)s')
def key(v):
if v == 'master':
return float('inf')
if v == 'stable':
return sys.maxsize
if v == 'beta':
return sys.maxsize - 1
v = v.replace('v', '').replace('rust-', '')
s = 0
for i, val in enumerate(v.split('.')[::-1]):
s += int(val) * 100**i
return s
def main():
if len(sys.argv) < 2:
log.error("specify output directory")
return
outdir = sys.argv[1]
versions = [
dir for dir in os.listdir(outdir) if not dir.startswith(".") and os.path.isdir(os.path.join(outdir, dir))
]
versions.sort(key=key)
with open(os.path.join(outdir, "versions.json"), "w") as fp:
json.dump(versions, fp, indent=2)
log.info("wrote JSON for great justice")
if __name__ == "__main__":
main()
|
