# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1319598027 25200
# Node ID 081614c468b83d6a2bb6fa5b45b2f27128e5026f
# Parent  492ec7e2d46ed31b5ac55329f5d753d3bb1cc7f4
add a file for listing extensions

diff -r 492ec7e2d46e -r 081614c468b8 python/lsexts.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/python/lsexts.py	Tue Oct 25 20:00:27 2011 -0700
@@ -0,0 +1,19 @@
+#!/usr/bin/env python
+
+import os
+
+def extensions(*filenames):
+    return set([os.path.splitext(f)[-1] for f in filenames
+                if '.' in f])
+
+def find_extensions(*directories):
+    _extensions = set()
+    for directory in directories:
+        for _, _, fnames in os.walk(directory):
+            _extensions.update(extensions(*fnames))
+    return _extensions
+        
+if __name__ == '__main__':
+    import sys
+    for ext in sorted(find_extensions(*sys.argv[1:])):
+        print ext