Fix version.py after deleting v* dirs

I missed updating this file.

I also ran black and isort over it.
This commit is contained in:
Philipp Krones 2023-06-17 10:05:06 +02:00
parent baf3680d1b
commit 445f428a65
No known key found for this signature in database
GPG key ID: 1CA0DF2AF59D68A5

View file

@ -1,24 +1,27 @@
#!/usr/bin/env python #!/usr/bin/env python
import json import json
import logging as log
import os import os
import sys import sys
import logging as log
log.basicConfig(level=log.INFO, format='%(levelname)s: %(message)s') log.basicConfig(level=log.INFO, format="%(levelname)s: %(message)s")
def key(v): def key(v):
if v == 'master': if v == "master":
return float('inf') return float("inf")
if v == 'stable': if v == "stable":
return sys.maxsize return sys.maxsize
if v == 'beta': if v == "beta":
return sys.maxsize - 1 return sys.maxsize - 1
if v == "pre-1.29.0":
return -1
v = v.replace('v', '').replace('rust-', '') v = v.replace("rust-", "")
s = 0 s = 0
for i, val in enumerate(v.split('.')[::-1]): for i, val in enumerate(v.split(".")[::-1]):
s += int(val) * 100**i s += int(val) * 100**i
return s return s
@ -31,7 +34,11 @@ def main():
outdir = sys.argv[1] outdir = sys.argv[1]
versions = [ versions = [
dir for dir in os.listdir(outdir) if not dir.startswith(".") and os.path.isdir(os.path.join(outdir, dir)) dir
for dir in os.listdir(outdir)
if not dir.startswith(".")
and not dir.startswith("v")
and os.path.isdir(os.path.join(outdir, dir))
] ]
versions.sort(key=key) versions.sort(key=key)