mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-26 11:35:12 +00:00
43 lines
1.1 KiB
Python
Executable File
43 lines
1.1 KiB
Python
Executable File
#!/usr/bin/env python
|
|
# codelist
|
|
# given list of integers, one per line, outputs a minimal list of ranges
|
|
# describing the list
|
|
|
|
# this is useful for codepoints that are in a font, based on list of codes
|
|
# output format is suitable for codepoints="" in Wesnoth fonts.cfg
|
|
|
|
import sys
|
|
|
|
def rangeify(lst):
|
|
"Turn ranges of adjacent ints in a list into [start, end] list elements."
|
|
lst.sort()
|
|
lst.append(None)
|
|
while True:
|
|
for i in range(len(lst)-1):
|
|
if type(lst[i]) == type(0) and lst[i+1] == lst[i]+1:
|
|
lst = lst[:i] + [[lst[i], lst[i+1]]] + lst[i+2:]
|
|
break
|
|
elif type(lst[i]) == type([]) and lst[i+1] == lst[i][-1]+1:
|
|
lst[i][1] = lst[i+1]
|
|
lst = lst[:i+1] + lst[i+2:]
|
|
break
|
|
else:
|
|
break
|
|
lst.pop()
|
|
return lst
|
|
|
|
def printbyrange(lst):
|
|
out = ""
|
|
for elt in lst:
|
|
if type(elt) == type(0):
|
|
out += `elt` + ","
|
|
else:
|
|
out += "%d-%d," % tuple(elt)
|
|
return out[:-1]
|
|
|
|
codepoints = map(lambda x: int(x.strip()), sys.stdin.readlines())
|
|
print printbyrange(rangeify(codepoints))
|
|
|
|
|
|
|