blob: b3eed6a144342fd83bf64cc67d579a9c59009365 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env python
import re
import sys
indent = 0
more_re = re.compile(r"^rust: ~\">>")
less_re = re.compile(r"^rust: ~\"<<")
while True:
line = sys.stdin.readline()
if not line:
break
if more_re.match(line):
indent += 1
print "%03d %s%s" % (indent, " " * indent, line.strip())
if less_re.match(line):
indent -= 1
|