blep compilation stage half dealt with

increpare · May 8, 2015 · 8afafe5 · 8afafe5
1 parent b15b453
commit 8afafe5
Show file tree

Hide file tree

Showing 28 changed files with 54 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,4 @@
+bin/*
+bin
+
+*.gz
diff --git a/.htaccess b/.htaccess
@@ -0,0 +1,4 @@
+RewriteEngine on 
+RewriteCond %{HTTP:Accept-Encoding} gzip 
+RewriteCond %{REQUEST_FILENAME}.gz -f 
+RewriteRule ^(.*)$ $1.gz [L] 
diff --git a/1.png b/1.png
diff --git a/10.png b/10.png
diff --git a/11.png b/11.png
diff --git a/12.png b/12.png
diff --git a/13.png b/13.png
diff --git a/14.png b/14.png
diff --git a/15.png b/15.png
diff --git a/16.png b/16.png
diff --git a/2.png b/2.png
diff --git a/3.png b/3.png
diff --git a/4.png b/4.png
diff --git a/5.png b/5.png
diff --git a/6.png b/6.png
diff --git a/7.png b/7.png
diff --git a/8.png b/8.png
diff --git a/9.png b/9.png
diff --git a/bucket.png b/bucket.png
diff --git a/clear.png b/clear.png
diff --git a/compile b/compile
@@ -0,0 +1,23 @@
+#!/bin/bash 
+echo ===========================
+start=`date +%s`
+rm -rf bin
+mkdir bin
+echo inlining standalone template
+inliner play.html > bin/play_inlined.txt
+echo copying files
+cp gzipper bin/
+cp -r *.* bin/
+cp .htaccess ../bin/
+echo compressing html
+java -jar ~/progs/htmlcompressor-1.5.3.jar  -r bin/ -o bin/
+echo gzipping site
+cd bin
+./gzipper
+rm gzipper
+cd ..
+end=`date +%s`
+runtime=$((end-start))
+echo script took $runtime seconds
+echo ===========================
+
diff --git a/editor.js b/editor.js
diff --git a/exiticon.png b/exiticon.png
diff --git a/favicon.png b/favicon.png
diff --git a/gzipper b/gzipper
@@ -0,0 +1,17 @@
+#!/usr/bin/perl
+
+# This script should be uploaded to the web server.
+
+use warnings;
+use strict;
+use File::Find;
+find (\&wanted, ("."));
+sub wanted
+{
+    if (/(.*\.(?:html|css|txt|js)$)/i) {
+        print "Compressing $File::Find::name\n";
+        if (! -f "$_.gz") {
+            system ("gzip -c --best --force \"$_\" > \"$_.gz\"");
+        }
+    }
+}
diff --git a/index.html b/index.html
@@ -1,5 +1,8 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
+<link rel="icon" 
+      type="image/png" 
+      href="favicon.png">
 <script type="text/javascript" >
 var PLAYER=false;
 var embeddedDat="__EMBED__";

diff --git a/play.html b/play.html
@@ -1,5 +1,8 @@
 <html>
 <head>
+<link rel="icon" 
+      type="image/png" 
+      href="favicon.png">
 <title>pinball player</title>
 <link href="style.css" rel="stylesheet">
 <style>

diff --git a/spawnicon.png b/spawnicon.png