tools/hex-colors-to-dict


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#!/usr/bin/env python

import sys

result = 'colors = [\n'

hex_file = open(sys.argv[1], 'r')

for line in hex_file.readlines():
	[ stroke, fill ] = line.split()
	result += '[\'#%s\', \'#%s\'], \\\n' % (fill, stroke)

result += ']'

hex_file.close()

print result