scripts/zip_static_files.py, thanks Niphlod

VERSION

@@ -1 +1 @@
-Version 2.0.9 (2012-09-16 15:54:17) stable
+Version 2.0.9 (2012-09-16 15:55:07) stable

scripts/zip_static_files.py

@@ -0,0 +1,35 @@
+#!/usr/bin/env python
+# -*- coding: utf-8 -*-
+
+##launch with python web2py.py -S myapp -R scripts/gzip_all.py
+
+
+ALLOWED_EXTS = ['.css', '.js']
+import os
+import gzip
+static_path = os.path.abspath(os.path.join(request.folder, 'static'))
+filelist = []
+for root, dir, files in os.walk(static_path):
+    for file in files:
+        filelist.append(os.path.join(root, file))
+tsave = 0
+for fi in filelist:
+    extension = os.path.splitext(fi)
+    extension = len(extension) > 1 and extension[1] or None
+    if not extension or extension not in ALLOWED_EXTS:
+        print 'skipping %s' % os.path.basename(fi)
+        continue
+    fstats = os.stat(fi)
+    atime, mtime = fstats.st_atime, fstats.st_mtime
+    gfi = fi + '.gz'
+    print 'gzipping %s to %s' % (os.path.basename(fi), os.path.basename(gfi))
+    f_in = open(fi, 'rb')
+    f_out = gzip.open(gfi, 'wb')
+    f_out.writelines(f_in)
+    f_out.close()
+    f_in.close()
+    os.utime(gfi, (atime,mtime))
+    saved = fstats.st_size - os.stat(gfi).st_size
+    tsave+= saved
+
+print 'saved %s KB' % (int(tsave)/1000.0)