Initial public commitHEADmaster

1 files changed, 16 insertions, 0 deletions

diff --git a/compile.sh b/compile.sh
new file mode 100755
index 0000000..add48d2
--- /dev/null
+++ b/compile.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+rm -rf dist
+mkdir -p dist/static
+cp index.html dist/
+cp 403.html dist/
+cp -r shell dist/
+cp -r python dist/
+cp -r rescue dist/
+cp -r rest-api dist/
+cp static/*.css dist/static/
+cp static/*.bin dist/static/
+cp static/*.img dist/static/
+cp static/*.png dist/static/
+cp static/*min*.js dist/static/
+cd static
+find ./ -name '*.js' ! -name '*.min.*' -exec garble $PWD/{} $PWD/../dist/static/{} on \;