Newer
Older
import re
import urllib
pads = [
'http://10.10.161.238/ether/p/polyhistorm/export/txt',
'http://10.10.161.238/ether/p/etymologiae/export/txt',
'http://10.10.161.238/ether/p/cyclopaedia/export/txt',
'http://10.10.161.238/ether/p/encyclopedia/export/txt',
'http://10.10.161.238/ether/p/greatinventions/export/txt',
'http://10.10.161.238/ether/p/taric/export/txt',
'http://10.10.161.238/ether/p/amazon/export/txt'
for pad in pads:
lines = urllib.urlopen(pad).readlines()
padname = pad.replace('http://10.10.161.238/ether/p/','')
padname = padname.replace('/export/txt','')
with open("../../stories/system-"+padname+".html","w+") as fileout:
fileout.write('<div id="main">')
for line in lines:
line = re.sub(r"\s{8}", "\t", line)
m = re.search(r"^\t*", line)
if m:
tab = len(m.group(0)) + 1
strtab = str(tab)
line = line.replace("\t","")
if '$!' in line:
line = line.replace('$!','<span class="annotation">')
line = line+'</span>'
fontsize = 55/tab
fontsize = str(fontsize)
# fontsize = str(12); # uncomment to set fixed fontsize
fileout.write('<div class="h'+strtab+'" style="font-size:'+fontsize+'px;">'+line+'</div>\n')
fileout.write("""
</div>
""")
print '*output of system-'+padname+'.html is written*'