Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
import re
import urllib
import argparse
parser = argparse.ArgumentParser()
parser.add_argument('input', type=str, help="The text-file to parse")
parser.add_argument('output', type=str, help="The html-file to store produced clip in.")
args = parser.parse_args()
is_url_match = r'^http(?:s)?:\/\/'
filein = urllib.urlopen(args.input) if re.match(is_url_match, args.input) else open(args.input, 'r')
with open(args.output, 'w') as fileout:
fileout.write('<div id="main">')
c = 1
for line in filein:
line = re.sub('\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","")
# print line
fontsize = str(10);
if tab == c:
if "LIVE ANIMALS\n" != line:
fileout.write('</div>\n')
fileout.write('<div class="box level_'+strtab+'">'+line)
# print 'tab is same'
# print 'c:', c, 'tab:', tab
if tab > c:
fileout.write('<div class="box level_'+strtab+'">'+line)
# print 'tab is bigger'
# print 'c:', c, 'tab:', tab
if tab < c:
enddiv = '</div>\n'
fileout.write((c - tab + 1) * enddiv)
# print str(c - tab + 1)+ 'x enddiv printed'
fileout.write('<div class="box level_'+strtab+'">'+line)
# print 'tab is smaller'
# print 'c:', c, 'tab:', tab
c = tab
# print '**********************'
fileout.write('</div>')
fileout.close()