mirror of
https://github.com/placeAtlas/atlas.git
synced 2024-05-21 13:44:20 +02:00
0cd0896629
Just realised theere is shrinkFont and allCharacters. Is it even worth it to recompile for every new character?
20 lines
286 B
Python
20 lines
286 B
Python
|
|
outfile = open('allCharacters.txt', 'w')
|
|
|
|
chars = set()
|
|
|
|
with open('./web/_js/atlas.js') as f:
|
|
while True:
|
|
c = f.read(1)
|
|
if not c:
|
|
chars = list(chars)
|
|
chars = sorted(chars)
|
|
string = ""
|
|
for i in chars:
|
|
string += i
|
|
outfile.write(string)
|
|
break
|
|
|
|
chars.add(c)
|
|
|