1 files changed, 19 insertions, 0 deletions
diff --git a/src/etc/indenter b/src/etc/indenter
new file mode 100755
index 000000000..21bfc448a
--- /dev/null
+++ b/src/etc/indenter
@@ -0,0 +1,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