cleanup: s/impl Copy/#[derive(Copy)]/g

[rust.git] / src / etc / indenter

diff --git a/src/etc/indenter b/src/etc/indenter
index db0009fd0b680991644d3775b335444d728fd036..b3eed6a144342fd83bf64cc67d579a9c59009365 100755 (executable)
--- a/src/etc/indenter
+++ b/src/etc/indenter
@@ -1,17 +1,19 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env python
+import re
+import sys
 
-$ident = 0;
-while (<>) {
-    if (/^rust: ">>/) {
-        $indent += 1;
-    } elsif (/^rust: "<</) {
-        $indent -= 1;
-    }
+indent = 0
+more_re = re.compile(r"^rust: ~\">>")
+less_re = re.compile(r"^rust: ~\"<<")
+while True:
+    line = sys.stdin.readline()
+    if not line:
+        break
 
-    printf "%03d  ", $indent;
-    for ($i = 0; $i < $indent; $i++) {
-        printf("  ");
-    }
-    print;
-}
+    if more_re.match(line):
+        indent += 1
 
+    print "%03d %s%s" % (indent, " " * indent, line.strip())
+
+    if less_re.match(line):
+        indent -= 1